This website requires JavaScript.
Explore
Help
Sign In
aniva
/
Pantograph
Watch
1
Star
1
Fork
You've already forked Pantograph
0
Code
Issues
8
Pull Requests
2
Packages
Projects
Releases
1
Wiki
Activity
Compare commits
merge into: aniva:dev
Branches
Tags
aniva:dev
aniva:serial/pickle
aniva:misc/build
aniva:goal/tactic
aniva:parse/level
aniva:misc/toolchain
aniva:misc/interaction
aniva:main
aniva:v0.2.19
aniva:v0.2.19-alpha
aniva:v0.2.18
aniva:v0.2.14
aniva:v0.2.13
aniva:v0.2.12
aniva:v0.2.11
aniva:v0.2.10
aniva:v0.2.10-alpha
aniva:v0.2.9
aniva:v0.2.8
aniva:v0.2.7
aniva:v0.2.6
aniva:v0.2.5
aniva:0.2.3
aniva:0.1
...
pull from: aniva:misc/build
Branches
Tags
aniva:serial/pickle
aniva:dev
aniva:misc/build
aniva:goal/tactic
aniva:parse/level
aniva:misc/toolchain
aniva:misc/interaction
aniva:main
aniva:v0.2.19
aniva:v0.2.19-alpha
aniva:v0.2.18
aniva:v0.2.14
aniva:v0.2.13
aniva:v0.2.12
aniva:v0.2.11
aniva:v0.2.10
aniva:v0.2.10-alpha
aniva:v0.2.9
aniva:v0.2.8
aniva:v0.2.7
aniva:v0.2.6
aniva:v0.2.5
aniva:0.2.3
aniva:0.1
A pull request between these branches already exists:
aniva/Pantograph#115
chore: Update Lean4 upstream to unofficial flake
#115
View Pull Request