hout-prover
hout-prover copied to clipboard
Published
20 hours ago •
ivanbakel
ivanbakel
A non-interactive proof assistant using the Haskell type system
Results
0
hout-prover issues
Sort by
recently updated
recently updated
newest added