metalogical-framework

Here are 2 public repositories matching this topic...

An LCF-style proof assistant for Intuitionistic first-order logic + Feferman's FS0 set theory

Compilation of Linear A (Minoan, ~2000–1450 BCE) via the Imscriptive Grammar

Add a description, image, and links to the metalogical-framework topic page so that developers can more easily learn about it.

To associate your repository with the metalogical-framework topic, visit your repo's landing page and select "manage topics."