Joint IDC / Tidelift Webinar: The future of open source software support. Watch now.

latte-sets
Release 0.1.0-SNAPSHOT

A formalization of (typed) Set theory in LaTTe.

Homepage Repository Clojars Clojure Download

License: MIT

SourceRank: 5

Dependent repositories: 2
Total releases: 4
Latest release: Nov 11, 2016
First release: Aug 9, 2016
Stars: 4
Forks: 1
Watchers: 1
Contributors: 1
Repository size: 185 KB

Documentation

latte-sets

(Typed) Set theory in LaTTe

https://latte-central.github.io/latte-sets/

Releases

0.1.0-SNAPSHOT: Nov 11, 2016
0.0.5-SNAPSHOT: Aug 21, 2016
0.0.4-SNAPSHOT: Aug 9, 2016
0.0.3-SNAPSHOT: Aug 9, 2016

Contributors

See all contributors

Something wrong with this page? Make a suggestion

Export .ABOUT file for this package

Last synced: 2016-11-16 16:48:02 UTC

Login to resync this project