@hackage / rzk

An experimental proof assistant for synthetic ∞-categories

0.9.0

Dependents

@hackage / proof-assistant-bot Telegram bot for proof assistants
- Version: 0.2.2
- Last uploaded: 2 years ago
- License: MIT