Geeks
mattjbray
/
imandra-prelude
Extracted version of imandra's prelude
Primary Language
OCaml
Apache License 2.0
Apache-2.0
imandra-prelude GitHub
Markdown
Readme
0
Issues
0
Stargazers
3
Watchers
imandra-prelude
Extracted version of imandra's prelude