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 library/dependency at aniva/Pantograph 2023-11-25 15:08:16 -08:00
7b59937853 feat: Read dependencies of library symbols
aniva pushed to dev at aniva/Pantograph 2023-11-25 14:26:50 -08:00
2a9931c134 fix: Rectify error format
aniva deleted branch misc/error from aniva/Pantograph 2023-11-25 14:26:50 -08:00
aniva merged pull request aniva/Pantograph#31 2023-11-25 14:26:48 -08:00
fix: Rectify error format
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 deleted branch folk/russian from aniva/OpenMusicScores 2023-11-21 10:30:45 -08:00
aniva created branch march/russian in 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 pushed to misc/error at aniva/Pantograph 2023-11-09 22:24:29 -08:00
2a9931c134 fix: Rectify error format
aniva created branch misc/error in aniva/Pantograph 2023-11-09 22:24:29 -08:00
aniva pushed tag v0.2.8 to aniva/Pantograph 2023-11-07 16:50:41 -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 deleted branch goal/continuation from aniva/Pantograph 2023-11-07 16:49:57 -08:00
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.