Open Issues Need Help
View All on GitHub Track per-fact provenance mirroring the Derivation calculus 43 minutes ago
help wanted question
Rule: equality and congruence (a = b, P a ⊢ P b) about 2 hours ago
help wanted question
2 Open Issues Need Help
Last updated: Aug 28, 2026