xhalo32 Niklas Halonen
github.com/xhalo32 · maintains 11 packages (11 directly), sole maintainer of 10, member of 0 teams
11 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Automatic and interactive theorem prover |
4.34.1 |
4 | 10 | 0 | 0 | maintained | ||
This plasTeX plugin allowing to write blueprints for Lean 4 projects |
0.0.20 |
1 | 24 | 0 | 0 | single | ||
Lean 4 .olean file (de)compressor |
0.1.19 |
1 | 6 | 2 | 12 | single | ||
This plasTeX plugin allowing to write blueprints for Lean 4 projects |
0.0.20 |
1 | 25 | 0 | 0 | single | ||
Python package to convert LaTeX markup to DOM |
3.1 |
1 | 20 | 3 | 3 | single | ||
PlasTeX plugin allowing to build dependency graphs |
0.0.5 |
1 | 18 | 1 | 1 | single | ||
PlasTeX plugin for adding navigation buttons |
0.0.2 |
1 | 17 | 1 | 1 | single | ||
This plasTeX plugin allowing to write blueprints for Lean 4 projects |
0.0.20 |
1 | 25 | 0 | 0 | single | ||
Python package to convert LaTeX markup to DOM |
3.1 |
1 | 20 | 4 | 4 | single | ||
PlasTeX plugin allowing to build dependency graphs |
0.0.5 |
1 | 18 | 2 | 2 | single | ||
PlasTeX plugin for adding navigation buttons |
0.0.2 |
1 | 17 | 2 | 2 | single |