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 created pull request aniva/OpenMusicScores#4 2023-11-21 10:31:13 -08:00

Farewell of Slavianka

aniva pushed to march/russian at aniva/OpenMusicScores 2023-11-21 10:30:46 -08:00

8a9a19b063 Farewell of Slavianka with Lazarev lyrics

aniva created branch march/russian in aniva/OpenMusicScores 2023-11-21 10:30:45 -08:00

aniva deleted branch folk/russian from aniva/OpenMusicScores 2023-11-21 10:30:45 -08:00

aniva pushed to folk/russian at aniva/OpenMusicScores 2023-11-21 10:30:20 -08:00

8a9a19b063 Farewell of Slavianka with Lazarev lyrics

aniva created branch folk/russian in aniva/OpenMusicScores 2023-11-21 10:30:20 -08:00

aniva pushed to game/touhou at aniva/OpenMusicScores 2023-11-19 22:35:52 -08:00

0c0d3b3203 Broken Moon finger position

aniva created pull request aniva/Pantograph#31 2023-11-09 22:25:38 -08:00

fix: Rectify error format

aniva created branch misc/error in aniva/Pantograph 2023-11-09 22:24:29 -08:00

aniva pushed to misc/error at aniva/Pantograph 2023-11-09 22:24:29 -08:00

2a9931c134 fix: Rectify error format

aniva pushed tag v0.2.8 to aniva/Pantograph 2023-11-07 16:50:41 -08:00

aniva deleted branch goal/continuation from aniva/Pantograph 2023-11-07 16:49:57 -08:00

aniva pushed to dev at aniva/Pantograph 2023-11-07 16:49:57 -08:00

c99125c4a6 Merge pull request 'feat: Allow selective continuation of goals' (#27) from goal/continuation into dev

8218d3f004 fix: Do not show parent state in continue

736e68639f fix: New goal state not inserted correctly

cfd1cfd107 Merge branch 'dev' into goal/continuation

764be6d14b fix: Remove the error prone SemihashMap

Compare 15 commits »

aniva merged pull request aniva/Pantograph#27 2023-11-07 16:49:56 -08:00

feat: Allow selective continuation of goals

aniva commented on issue aniva/Pantograph#1 2023-11-07 16:49:47 -08:00

Allow adding definitions to environments

See https://github.com/leanprover/lean4/pull/2642. Use Environment.addDecl

aniva commented on issue aniva/Pantograph#6 2023-11-07 16:47:48 -08:00

Missing proofs in code

serialize_sort_level_ast is marked with partial for now and SemihashMap.lean is removed since HashMap was added to Lean's library.

aniva closed issue aniva/Pantograph#6 2023-11-07 16:47:48 -08:00

Missing proofs in code

aniva commented on pull request aniva/Pantograph#27 2023-11-07 16:43:45 -08:00

feat: Allow selective continuation of goals

Tested on aniva/Trillium#69 and seems stable. Merge.

aniva pushed to goal/continuation at aniva/Pantograph 2023-11-07 13:10:28 -08:00

8218d3f004 fix: Do not show parent state in continue

aniva pushed to goal/continuation at aniva/Pantograph 2023-11-07 13:08:14 -08:00

736e68639f fix: New goal state not inserted correctly