summaryrefslogtreecommitdiff
path: root/lib/coq
AgeCommit message (Expand)Author
2018-06-20Coq: Tidy up libraries, export StringBrian Campbell
2018-06-20Coq: a few more opsBrian Campbell
2018-06-19Coq: library name update (as we did for Lem)Brian Campbell
2018-06-18Separate bitvector access/update from generic vector access in std preludeBrian Campbell
2018-06-18Coq: update prompt monad wrt LemBrian Campbell
2018-06-13Coq: library updates, informative type errors, fix type aliasesBrian Campbell
2018-06-12Coq: support for range type, along with related existential improvementsBrian Campbell
2018-06-12Coq: add more to libraryBrian Campbell
2018-06-08Coq: existential and constraint solving workBrian Campbell
2018-06-08Coq: some very basic existential supportBrian Campbell
2018-05-25Coq: fill in some built-insBrian Campbell
2018-05-24Coq: solve more constraintsBrian Campbell
2018-05-24Help launch coqideBrian Campbell
2018-05-24Import (rather hacky) Coq Sail librariesBrian Campbell
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 10:56:35 +0000