Pinned Repositories
content
The content behind MDN Web Docs
crisperdue.github.io
GitHub pages
customize
Scripts to initialize a Debian server and personal environment
holpy
Implementation of higher-order logic in Python
hugoDocs
The source for https://gohugo.io/
imps
The IMPS Theorem Prover
mathtoys
Mathtoys assistant for high school algebra
practical-logic
Code resources from John Harrison's "Handbook of Practical Logic and Automated Reasoning"
prooftoys
Interactive, web-based visual math assistant
startstop
Utility for super-simple creation of LSB-compliant SysV-style init scripts
crisperdue's Repositories
crisperdue/prooftoys
Interactive, web-based visual math assistant
crisperdue/practical-logic
Code resources from John Harrison's "Handbook of Practical Logic and Automated Reasoning"
crisperdue/mathtoys
Mathtoys assistant for high school algebra
crisperdue/content
The content behind MDN Web Docs
crisperdue/crisperdue.github.io
GitHub pages
crisperdue/customize
Scripts to initialize a Debian server and personal environment
crisperdue/holpy
Implementation of higher-order logic in Python
crisperdue/hugoDocs
The source for https://gohugo.io/
crisperdue/imps
The IMPS Theorem Prover
crisperdue/startstop
Utility for super-simple creation of LSB-compliant SysV-style init scripts
crisperdue/lean3x
Experiments with Lean 3
crisperdue/lean4-samples
Code samples for Lean 4
crisperdue/mathserver
Server-side stuff for Mathtoys and Prooftoys
crisperdue/one-click-hugo-cms
crisperdue/proofdisplay
HOL Light tactic proof displayer
crisperdue/prooftoys-site
Prooftoys web site (future http://prooftoys.org), pages without app code.
crisperdue/utils
Miscellaneous Linux / Debian utility scripts