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

  • Director of NorCal Hakkero Factory No. 1

  • Joined on 2023-08-21
Repositories
12
 Projects Packages Public Activity Starred Repositories
9
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 created branch goal/let in aniva/Pantograph 2024-04-12 21:31:19 -07:00
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 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
aniva pushed to serial/goal at aniva/Pantograph 2024-04-12 16:34:40 -07:00
8e377c2092 refactor: CamelCase rename
aniva created pull request aniva/RustCallLean#1 2024-04-12 16:10:08 -07:00
Add multithreading example
aniva created branch multithreading in aniva/RustCallLean 2024-04-12 16:09:37 -07:00
aniva pushed to multithreading at aniva/RustCallLean 2024-04-12 16:09:37 -07:00
1f9c8717f8 Multithreaded example
7457bdf363 Bump Lean version to 4.7.0-rc2
Compare 2 commits »
aniva deleted branch bug/multithreading from aniva/RustCallLean 2024-04-12 16:09:25 -07:00
aniva created branch bug/multithreading in aniva/RustCallLean 2024-04-12 16:09:14 -07:00
aniva pushed to bug/multithreading at aniva/RustCallLean 2024-04-12 16:09:14 -07:00
1f9c8717f8 Multithreaded example
7457bdf363 Bump Lean version to 4.7.0-rc2
Compare 2 commits »
aniva created pull request aniva/Pantograph#69 2024-04-12 12:43:31 -07:00
feat: Option to collect dependent metavariables
aniva pushed to serial/goal at aniva/Pantograph 2024-04-12 12:37:58 -07:00
991ee5ad94 refactor: Rename functions to camel case