lambda_mountain 1.16.13

Typed Macro Assembler (backed by Coq proofs-of-correctness)
Documentation 
1
2
3
4
5
6

{
  "git": {
    "sha1": "aaa16b93fa51e6c3988a209f15ca44262d6ec8f2"
  },
  "path_in_vcs": ""
}