rzk: an experimental proof assistant for syntheric ∞-categories

General

About

rzk-1 Language

Introduction
Sections and Variables
Rendering Diagrams
Weak tope disjunction elimination

Tools

Syntax Highlighting
IDE support
Continuous Verification
- GitHub Actions

Related Projects

sHoTT
simple-topes

rzk: an experimental proof assistant for syntheric ∞-categories

»
Tools »
Continuous Verification

Continuous Verification with `rzk`

GitHub Actions

Work-in-progress

GitHub Actions for rzk is in under development and will be released soon.

Previous Next

Built with MkDocs using a theme provided by Read the Docs.

« Previous Next »