rrleme/heytinget

Find intuitionistic counter-models for classical tautologies.

Last synced at: over 2 years ago - Stars: 0 - Forks: 0