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 merged pull request aniva/Pantograph#185 2025-04-08 10:59:54 -07:00
chore: Update Lean to v4.18.0
aniva pushed to chore/version at aniva/Pantograph 2025-04-08 10:59:43 -07:00
13b03b602b chore: Update flake
aniva created pull request aniva/Pantograph#185 2025-04-08 10:59:33 -07:00
chore: Update Lean to v4.18.0
aniva pushed to chore/version at aniva/Pantograph 2025-04-08 10:58:44 -07:00
b6c3f7d8fd chore: Update Lean to v4.18.0
aniva created branch chore/version in aniva/Pantograph 2025-04-08 10:58:44 -07:00
aniva deleted branch bug/variable-level-names-in-scope from aniva/Pantograph 2025-04-07 20:18:52 -07:00
aniva pushed to dev at aniva/Pantograph 2025-04-07 20:18:51 -07:00
27a1f420ba Merge pull request 'fix: `variable` and `universe` commands in environment capture' (#183) from bug/variable-level-names-in-scope into dev
5df3d2bee1 refactor: Remove `runTermElabM` from library
9216e4fa86 chore: Format code
f42af9f6a8 fix: Level name capture
70152c7715 refactor: Optional levels
Compare 6 commits »
aniva merged pull request aniva/Pantograph#183 2025-04-07 20:18:50 -07:00
fix: `variable` and `universe` commands in environment capture
aniva pushed to bug/variable-level-names-in-scope at aniva/Pantograph 2025-04-07 20:18:24 -07:00
5df3d2bee1 refactor: Remove `runTermElabM` from library
aniva pushed to bug/variable-level-names-in-scope at aniva/Pantograph 2025-04-07 11:52:00 -07:00
9216e4fa86 chore: Format code
aniva commented on pull request aniva/Pantograph#183 2025-04-05 14:27:47 -07:00
fix: universe commands in environment capture

Environment.addDecl requires Elab.TermElabM passthrough as well.

aniva pushed to bug/variable-level-names-in-scope at aniva/Pantograph 2025-04-05 14:26:34 -07:00
f42af9f6a8 fix: Level name capture
aniva opened issue aniva/Pantograph#184 2025-04-05 14:04:32 -07:00
Remove CoreM library functions
aniva pushed to touhou at aniva/OpenMusicScores 2025-04-04 22:40:07 -07:00
48ce8d4373 Some finger position adjustments
aniva pushed to bug/variable-level-names-in-scope at aniva/Pantograph 2025-04-03 14:38:56 -07:00
70152c7715 refactor: Optional levels
aniva pushed to touhou/shiki-eiki at aniva/Cosplay 2025-04-03 11:30:58 -07:00
ccdcf018f8 Add curvature to side profile
aniva pushed to bug/variable-level-names-in-scope at aniva/Pantograph 2025-04-03 11:18:42 -07:00
cf4a5955e3 test: Non-matchers are not matchers
aniva commented on pull request aniva/Pantograph#183 2025-04-02 19:13:55 -07:00
fix: universe commands in environment capture

Also need to ensure that unfoldMatchers does not unfold strong induction

aniva pushed to touhou at aniva/OpenMusicScores 2025-04-01 22:57:22 -07:00
720af7c194 07-13 all
aniva pushed to touhou/shiki-eiki at aniva/Cosplay 2025-03-31 00:22:33 -07:00
bfb4ad6973 Add fine angular tolerance for side guards