ChyRho/4leibniz download history
ChyRho/4leibniz is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 475 times (202 in the last 7 days), and 475 times in total. It ranks #34,487 among datasets by monthly downloads.
4Leibniz: Formal Relational Information Geometry & Automated Verification Dedicated to Gottfried Wilhelm Leibniz's relational foundations of geometry, monadology, and universal characteristic (Characteristica Universalis). This dataset contains machine-checked Lean 4 formalizations, r