jlietz93/Phase-Calculus-Research-Corpus download history

jlietz93/Phase-Calculus-Research-Corpus is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 460 times (83 in the last 7 days), and 556 times in total. It ranks #35,378 among datasets by monthly downloads.

Phase Calculus Research Corpus The Phase Calculus Research Corpus is the collected working archive of the Phase Calculus research program: papers, mathematical derivations, formal proofs, executable experiments, native runtimes, computational notebooks, validation packages, and the re

Open jlietz93/Phase-Calculus-Research-Corpus on Hugging Face