Incubator of the hyperpolymath type theory pipeline: findings from the kategoria lab are matured idea→alpha — speculative proofs-of-concept and prototype Idris2/Lean/Agda formalisations — before earning their own production repo.
Just Updated 17 days ago 1 commits 3 stars
quark-coder|Mirror: hyperpolymath/ideas-to-alphas (⭐3)
17 days agoAbout
Incubator of the hyperpolymath type theory pipeline: findings from the kategoria lab are matured idea→alpha — speculative proofs-of-concept and prototype Idris2/Lean/Agda formalisations — before earning their own production repo.
Readme
3 stars