Definitions, Theorems and Proofs
TypeScript
0
0
No license
MathItems is a repository containing formal definitions, theorems, and proofs in mathematics, likely aimed at researchers, educators, or students interested in mathematical rigor and formal verification. The project appears to be structured for those who value precise, machine-checkable mathematical content, possibly for use in educational or research contexts.
Total donated
Undistributed
Share with your subscribers:
Recipients
How the donated funds are distributed
Support the dependencies of janmarthedal/mathitems
A Metalsmith plugin to convert markdown files.
A LESS plugin for Metalsmith
A simple zero-configuration command-line http server
Nunjucks support for JSTransformers
An extremely simple, pluggable static site generator.
A metalsmith plugin for layouts.
graph data structure
A deep deletion module for node (like `rm -rf`)
Top contributors
janmarthedal
115 contributions
Recent events
Kivach works on the Obyte network, and therefore you can track all donations.
No events yet