Packages tagged theorem-proving

1 package has this tag.

[Merge tag] (trustees only)

Related tags: library (1), mit (1)

Name
DLs
Rating
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
proof-combinators30.01Proof Combinators used in Liquid Haskell for Theorem Proving (library, mit, theorem-proving)2018-03-280.1.0.0FacundoDominguez, nikivazou