Projects in Awesome Lists tagged with formal-theory
A curated list of projects in awesome lists tagged with formal-theory .
https://github.com/lev135/niebergall
The source code of an article about provability logic
formal-theory logic math modal-logic
Last synced: 12 Mar 2025