ruhler/smten-theory
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
Smten Theory ============ ruhler@<csail.mit.edu> March 31, 2014 Th smten-theory repository collects together formalisms and proofs related to the Smten language and implementation. The formalisms are expressed using the coq proof assistant. The following are contents of this repository: doc/todo.txt:: An out-of-date list of things to do. lib/*:: Library code not specifically about Smten. The library code is based on Benjamin Pierce's Software Foundations. sf/*:: Original contents of Benjamin Pierce's Software Foundations. smten/*:: Definition of the Smten language. src/*:: Various files intended to be used for the Smten implementation, but mostly out of date and incomplete.
About
Formalization of Smten language and implementation in coq
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published