rzk-lang

rzk-lang/rzk

An experimental proof assistant based on a type theory for synthetic ∞-categories.

1 good first / help-wanted issue · Haskell · last activity Sep 29, 2026

303 stars 33 forks 303 watchers Haskell
category-theory haskell homotopy-type-theory proof-assistant
View on GitHub Website
1 Open Issue Need Help Last updated: Sep 29, 2026

Open Issues Need Help

View All on GitHub
Add `--version` command 21 days ago
good first issue
rzk-lang/rzk
303

An experimental proof assistant based on a type theory for synthetic ∞-categories.

Haskell
#category-theory#haskell#homotopy-type-theory#proof-assistant