structured-derivations

Here are 2 public repositories matching this topic...

coreflexive / workbench

Structured mathematical derivations in relation algebra, predicate calculus, Galois connections, and calculational proof.

predicate-calculus typst relation-algebra galois-connections calculational-proof structured-derivations

Updated May 21, 2026
Typst

coreflexive / derivary

Star

Structured mathematical derivations with theory indexes and calculational proofs, focused on relation algebra, predicate calculus, and Galois connections.

predicate-calculus typst relation-algebra galois-connections calculational-proof structured-derivations

Updated May 25, 2026
Typst

Improve this page

Add a description, image, and links to the structured-derivations topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the structured-derivations topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly