An open API service indexing awesome lists of open source software.

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