1 Search Results
nunchaku
A counter-example finder for higher-order logic, designed to be used from various proof assistants
0.6
Used by 0 other packages