aboutsummaryrefslogtreecommitdiff
path: root/contrib/jprover/README
AgeCommit message (Expand)Author
2002-11-13typocourant
2002-04-04Add citationshuang
2002-03-22An intuitionistic first-order theorem prover -- JProver.huang
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-19 03:10:17 +0000