Skip to content
Open-Source Registry

Search 1 packages

Found
Build behaviour
Packages1–1 of 1VersionFindingsVulnsDescriptionDownloadsWhen
bourbaki-engine cargo0.2.1nonenoneA proof checker for Bourbaki's Theory of Sets: proofs are written the way the book writes them and checked down to the axioms238h ago