Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with bar-induction
A curated list of projects in awesome lists tagged with bar-induction .
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: 11 Dec 2024
