Pinned Loading

1. 6887psets 6887psets Public

   Problem Sets for MIT 6.887 Formal Reasoning About Programs

   Coq 8 7

2. ssmatrix-theory ssmatrix-theory Public

   Coq formalization of matrix differentiation

   Coq 6

3. timl timl Public

   TiML: A Functional Programming Language with Time Complexity

   Standard ML 8

4. phd-thesis-supplemental phd-thesis-supplemental Public

   Standard ML 2 1

5. mit-plv/timl mit-plv/timl Public

   TiML: A Functional Programming Language with Time Complexity

   Standard ML 75 6

6. mit-plv/bedrock mit-plv/bedrock Public

   Coq library for verified low-level programming

   Coq 57 6