Last released Feb 26, 2026
Tiny CoC-based theorem prover with inductive types
Last released Jan 2, 2026
A JupyterLab extension.
Last released Apr 26, 2023
Automatically initialize weights in pytorch modules using a hacky empirical method.
Supported by
