Community Package Repository Notification
Your use of the packages on this site means you understand they are not supported or guaranteed in any way. Due to the nature of a public repository and unreliability due to distribution rights, these packages should not be used as is for organizational purposes either. Learn more.
Search for "tag:theorem" Returned 2
Displaying Results 1 - 2 of 2
Z3 is a high-performance theorem prover being developed at Microsoft Research.
Lean is an open source theorem prover and programming language being developed at Microsoft Research.