this post was submitted on 28 Sep 2023

7 points (100.0% liked)

Formal Methods

163 readers

1 users here now

founded 1 year ago

MODERATORS

[email protected]

[email protected]

7

rzk: an experimental proof assistant for synthetic ∞-categories (rzk-lang.github.io)

submitted 1 year ago by [email protected] to c/[email protected]

0 comments fedilink hide all child comments

no comments (yet)

sorted by: hot top controversial new old

there doesn't seem to be anything here