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
13
 Projects Packages Public Activity Starred Repositories
9
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 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 created branch multithreading in aniva/RustCallLean 2024-04-12 16:09:37 -07:00
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
aniva created branch serial/goal in aniva/Pantograph 2024-04-12 12:37:58 -07:00
aniva pushed to goal/calc at aniva/Pantograph 2024-04-11 17:58:50 -07:00
7a4d462a87 Merge branch 'dev' into goal/calc
4d4f660f3f chore: Update version
Compare 2 commits »
aniva deleted branch misc/version from aniva/Pantograph 2024-04-11 17:58:25 -07:00
aniva pushed to dev at aniva/Pantograph 2024-04-11 17:58:25 -07:00
4d4f660f3f chore: Update version
aniva merged pull request aniva/Pantograph#68 2024-04-11 17:58:24 -07:00
chore: Update version to 0.2.15
aniva created pull request aniva/Pantograph#68 2024-04-11 17:58:11 -07:00
chore: Update version to 0.2.15
aniva pushed to misc/version at aniva/Pantograph 2024-04-11 17:57:35 -07:00
4d4f660f3f chore: Update version
aniva pushed to misc/version at aniva/Pantograph 2024-04-11 17:57:20 -07:00
f20ee8dc87 Merge pull request 'feat: Add support for the `have`, `conv`, and `calc` tactics' (#59) from goal/have-conv-calc into dev
a41b95e540 Merge branch 'dev' into goal/have-conv-calc
a11df9f2e9 feat: Print recursor rules
ed220bc7fb doc: New tactics in README.md
7eb5419f36 feat: REPL interface for `calc`
Compare 230 commits »
aniva opened issue aniva/Pantograph#67 2024-04-11 17:55:21 -07:00
Extraction of step-based atomization
aniva pushed to goal/calc at aniva/Pantograph 2024-04-11 16:30:01 -07:00
a864c4d3ff refactor: Code simplification