Packages tagged theorem-proving

1 package has this tag.

[Merge tag] (trustees only)

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

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
proof-combinators100.0Proof Combinators used in Liquid Haskell for Theorem Proving (library, mit, theorem-proving)2018-03-28nikivazou