|
update

A library for coding of higher-order functions
[read more >]
|
License: Rating: Downloads: Category: Updated:
|
BSD License NOT RATED 58 Libraries September 27th, 2012 GMT |
|
update

Higher-order list utility functions
[read more >]
|
License: Rating: Downloads: Category: Updated:
|
Perl Artistic License NOT RATED 95 Perl Modules February 21st, 2012 GMT |
|
NEW

HOL-OCL is an interactive proof environment for the Object Constraint Language (OCL).
[read more >]
|
License: Rating: Downloads: Category: Updated:
|
GPL Fair (2.4/5) 476 Mathematics August 18th, 2006 GMT |
|
|