Most Recent Proofs - Intuitionistic Logic Explorer

| Intuitionistic Logic Explorer Most Recent Proofs |
Mirrors > Home > ILE Home > Th. List > Recent | MPE Most Recent Other > MM 100

Most recent proofs These are the 100 (Unicode, GIF) or 1000 (Unicode, GIF) most recent proofs in the iset.mm database for the Intuitionistic Logic Explorer. The iset.mm database is maintained on GitHub with master (stable) and develop (development) versions. This page was created from the commit given on the MPE Most Recent Proofs page. The database from that commit is also available here: iset.mm.

See the MPE Most Recent Proofs page for news and some useful links.

Color key: | Intuitionistic Logic Explorer |  | User Mathboxes |

Recent Additions to the Intuitionistic Logic Explorer
Date | Label | Description
--- | --- | ---
Theorem

| Copyright terms: Public domain | W3C HTML validation [external]