Skip to content
Snippets Groups Projects

feat(kernel): ensure well-typedness of axiom types

Passed
belazy created pipeline for commit 300a519e
, finished
1 related merge request: !86 Draft: Add observational equality
latest
4 jobs 7 minutes 19 seconds, queued for 1 seconds