Or, if you prefer, you can use the "Download Zip" button available through the main repository page. Downloading the project as a .ZIP file will keep the size of the ...

This works because the two runtimes don't conflict — you can move module by module at your own pace. No need for a big-bang switch. Tip: Start with mmntjs audit ./src to identify which files use only ...

The recent discussion about the consistency of arithmetic made me want to brush up on my logic. I’d like to learn a bit about axioms for arithmetic that are weaker than Peano arithmetic. The most ...