This website requires JavaScript.
Explore
Help
Sign In
aniva
/
Pantograph
Watch
1
Star
1
Fork
You've already forked Pantograph
0
Code
Issues
14
Pull Requests
1
Packages
Projects
Releases
Wiki
Activity
49d06e8c05
Pantograph
/
Test
/
Tactic
History
Leni Aniva
49d06e8c05
fix: Shield tactics from newly created environment
2025-05-01 12:21:32 -04:00
..
Assign.lean
fix: Add test
2025-01-08 22:53:10 -08:00
Prograde.lean
fix: Shield tactics from newly created environment
2025-05-01 12:21:32 -04:00
Special.lean
test: Add tactic edge cases test
2025-05-01 11:09:43 -04:00