Irrefutability of LEM in Intuitionistic Logic & Improve bound - Githubissues

nomeata / incredible

The Incredible Proof Machine

MIT License

360 stars 36 forks source link

Irrefutability of LEM in Intuitionistic Logic & Improve bound #85

Closed NightRa closed 8 years ago