This website requires JavaScript.
Explore
Help
Sign In
aniva
/
Pantograph
Watch
1
Star
1
Fork
You've already forked Pantograph
0
Code
Issues
6
Pull Requests
1
Packages
Projects
Releases
1
Wiki
Activity
117
Commits
7
Branches
14
Tags
1.1
MiB
3c96a7c0ea
Commit Graph
2 Commits
Author
SHA1
Message
Date
Leni Aniva
ff4671cdd0
chore: Rename lib. commands to env.
...
This is done to improve clarity and align with Lean's terminology
2023-12-12 18:56:25 -08:00
Leni Aniva
cdb1e8576f
feat: Display whether a symbol is private
2023-12-05 19:07:00 -08:00