Leni Aniva aniva
0 Followers · 1 Following
  • Stanford University Centaur Group
  • https://leni.sh

  • Admin of this website

  • Joined on 2023-08-21
Repositories
10
 Projects Packages Public Activity Starred Repositories
2
aniva pushed to goal/mapply at aniva/Pantograph 2024-04-13 19:42:12 -07:00
b954f12526 refactor: Move all tactic operations to the bottom
aniva created pull request aniva/Pantograph#71 2024-04-12 22:41:12 -07:00
fix: Option setting in REPL
aniva created branch lib/mkOptions in aniva/Pantograph 2024-04-12 22:40:02 -07:00
aniva pushed to lib/mkOptions at aniva/Pantograph 2024-04-12 22:40:02 -07:00
adbb07af2d fix: Option setting in REPL
aniva deleted branch goal/let from aniva/Pantograph 2024-04-12 21:42:34 -07:00
aniva pushed to dev at aniva/Pantograph 2024-04-12 21:42:34 -07:00
72dd20ea87 Merge pull request 'feat: Let tactic' (#70) from goal/let into dev
614b9aa4ae Merge branch 'dev' into goal/let
b45b90b810 test: Metavariable name matches in let
77907fd060 feat: `goalLet` function
4ee955c21f test: Tests the `let` tactic
Compare 5 commits »
aniva merged pull request aniva/Pantograph#70 2024-04-12 21:42:33 -07:00
feat: Let tactic
aniva pushed to goal/let at aniva/Pantograph 2024-04-12 21:42:05 -07:00
614b9aa4ae Merge branch 'dev' into goal/let
07094730b7 Merge pull request 'feat: Option to collect dependent metavariables' (#69) from serial/goal into dev
4b01af7cef Merge branch 'dev' into serial/goal
e5d55e31ff feat: Print expression dependent mvars
8e377c2092 refactor: CamelCase rename
Compare 6 commits »
aniva pushed to goal/let at aniva/Pantograph 2024-04-12 21:41:35 -07:00
b45b90b810 test: Metavariable name matches in let
aniva pushed to dev at aniva/Pantograph 2024-04-12 21:33:02 -07:00
07094730b7 Merge pull request 'feat: Option to collect dependent metavariables' (#69) from serial/goal into dev
4b01af7cef Merge branch 'dev' into serial/goal
e5d55e31ff feat: Print expression dependent mvars
8e377c2092 refactor: CamelCase rename
991ee5ad94 refactor: Rename functions to camel case
Compare 5 commits »
aniva deleted branch serial/goal from aniva/Pantograph 2024-04-12 21:33:02 -07:00
aniva merged pull request aniva/Pantograph#69 2024-04-12 21:33:01 -07:00
feat: Option to collect dependent metavariables
aniva created pull request aniva/Pantograph#70 2024-04-12 21:32:22 -07:00
feat: Let tactic
aniva pushed to goal/let at aniva/Pantograph 2024-04-12 21:31:19 -07:00
77907fd060 feat: `goalLet` function
4ee955c21f test: Tests the `let` tactic
Compare 2 commits »
aniva created branch goal/let in aniva/Pantograph 2024-04-12 21:31:19 -07:00
aniva pushed to serial/goal at aniva/Pantograph 2024-04-12 20:53:09 -07:00
4b01af7cef Merge branch 'dev' into serial/goal
00a3613036 Merge pull request 'fix: Prevent incorrect inheritance of calc rhs' (#66) from goal/calc into dev
7a4d462a87 Merge branch 'dev' into goal/calc
a864c4d3ff refactor: Code simplification
e834765896 refactor: Code simplification
Compare 7 commits »
aniva deleted branch goal/calc from aniva/Pantograph 2024-04-12 20:52:20 -07:00
aniva pushed to dev at aniva/Pantograph 2024-04-12 20:52:20 -07:00
00a3613036 Merge pull request 'fix: Prevent incorrect inheritance of calc rhs' (#66) from goal/calc into dev
7a4d462a87 Merge branch 'dev' into goal/calc
a864c4d3ff refactor: Code simplification
e834765896 refactor: Code simplification
dc6e79def7 doc: Update error message in interaction
Compare 6 commits »
aniva merged pull request aniva/Pantograph#66 2024-04-12 20:52:18 -07:00
fix: Prevent incorrect inheritance of calc rhs
aniva pushed to serial/goal at aniva/Pantograph 2024-04-12 20:52:10 -07:00
e5d55e31ff feat: Print expression dependent mvars