Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with intuitionism
A curated list of projects in awesome lists tagged with intuitionism .
https://github.com/jonsterling/agda-effectful-forcing
Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -> nat) in System T.
bar-induction formalization intuitionism system-t type-theory
Last synced: 24 Oct 2024
