 |
|  |
||||||||||
 |
||||||||||||
  |
||||||||||||
|
Porgi
Porgi is a Proof-Or-Refutation Generator for Intuitionistic propositional logic, implementated by Allen Stoughton. Given a sequent, Porgi either finds a minimally sized, normal natural deduction of the sequent, or it finds a "small", tree-based Kripke countermodel of the sequent. It is written in Standard ML.
Constructive Mathematics
Maintained by Fred Richards.
A Bibliography of Constructive Mathematics
Compiled by Erik Palmgren.
|
|
||
 |
|||