Packages tagged theorem-proving

1 package has this tag.

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

Show entries

Filter:

Name	DLs	Rating	Rev Deps	Description	Tags	Last U/L	Last Version	Maintainers
proof-combinators (deprecated in favor of liquid-prelude)	1	0.0	1	DEPRECATED	(deprecated, library, mit, theorem-proving)	2018-03-28	0.1.0.0	FacundoDominguez, nikivazou

Showing 1 to 1 of 1 entries