maurobringolf/FOL-proof-checker

A proof checker for a proof calculus of first order logic

HaskellStars 0Forks 0Watchers 0Open issues 0License BSD 3-Clause "New" or "Revised" License

Details

仓库信息

Ownermaurobringolf

Homepage—

Last pushed2021-03-16

Last updated2025-12-15

Issues fetched at—

Community at a glance