Apppublic

garywelz/programming_framework

sourceHugging Facemitupdated 2mo agoView on Hugging Face

0likes

filearistotle-syllogistic-figure-2.mmd944 Bdownload

filearistotle-syllogistic-figure-3.mmd1 KBdownload

filearistotle-syllogistic-foundations-perfect.mmd757 Bdownload

filearistotle-syllogistic.json7 KBdownload

filearistotle-syllogistic.mmd2 KBdownload

filecombinatorics-advanced-counting.mmd915 Bdownload

filecombinatorics-combinations-binomial.mmd757 Bdownload

filecombinatorics-principles-permutations.mmd650 Bdownload

filecombinatorics.json6 KBdownload

filecombinatorics.mmd1 KBdownload

fileeuclid-elements-book-i-props-1-10.mmd2 KBdownload

fileeuclid-elements-book-i-props-11-20.mmd3 KBdownload

fileeuclid-elements-book-i-props-21-30.mmd4 KBdownload

fileeuclid-elements-book-i-props-31-41.mmd4 KBdownload

fileeuclid-elements-book-i-props-42-48.mmd5 KBdownload

fileeuclid-elements-book-i.json27 KBdownload

fileeuclid-elements-book-i.mmd6 KBdownload

fileeuclid-elements-book-ii.json9 KBdownload

fileeuclid-elements-book-ii.mmd2 KBdownload

fileeuclid-elements-book-iii.json20 KBdownload

fileeuclid-elements-book-iv.json12 KBdownload

fileeuclid-elements-book-ix.json16 KBdownload

fileeuclid-elements-book-v.json16 KBdownload

fileeuclid-elements-book-vi.json18 KBdownload

fileeuclid-elements-book-vii.json19 KBdownload

fileeuclid-elements-book-viii.json12 KBdownload

fileeuclid-elements-book-x.json54 KBdownload

fileeuclid-elements-book-xi.json18 KBdownload

fileeuclid-elements-book-xii.json12 KBdownload

fileeuclid-elements-book-xiii.json13 KBdownload

filepeano-arithmetic-addition-multiplication.mmd1 KBdownload

filepeano-arithmetic-axioms-foundations.mmd874 Bdownload

filepeano-arithmetic-order-induction.mmd2 KBdownload

filepeano-arithmetic.json11 KBdownload

filepeano-arithmetic.mmd2 KBdownload

filepropositional-logic-axioms-implication.mmd718 Bdownload

filepropositional-logic-definitions-connectives.mmd2 KBdownload

filepropositional-logic-tautologies-metalogic.mmd2 KBdownload

filepropositional-logic.json11 KBdownload

filepropositional-logic.mmd2 KBdownload

garywelz/programming_framework · main · files are served by the source, never re-hosted here