Skip to content

About

Diagrammatic prover

Resources

Stars

0 stars

Watchers

0 watching

Forks

Repository files navigation

Sorts can be declared in a .js files, see examples/*.js or src/default_sorts.ts for examples. Examples of drawings can be found in examples/*.json.

About

Diagrammatic prover

Resources

Stars

0 stars

Watchers

0 watching

Forks

Releases

Packages

Contributors

Languages