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 bug/tactic-failure-placeholder at aniva/Pantograph 2024-12-10 23:16:56 -08:00
1d10cd2b20 fix: Collect errored mvars by iterating errorInfo
aniva opened issue aniva/Pantograph#142 2024-12-10 21:48:42 -08:00
Pickle new constants generated in proof state
aniva pushed to frontend/infotree at aniva/Pantograph 2024-12-10 21:46:14 -08:00
95503c45e4 doc: frontend.process newConstants
aniva pushed to component/navbar at aniva/Chrysoblog 2024-12-10 18:26:16 -08:00
46ca660a13 merge: branch 'main' into component/navbar
5dbb8e7a8c doc: Documentation about metadata.json
7b900c2993 feat: Read highlighter languages from metadata
0d87cea96f feat: Add more icons
Compare 4 commits »
aniva created pull request aniva/Pantograph#141 2024-12-10 14:15:56 -08:00
feat: Print value of arbitrary mvar in goal state
aniva pushed to goal/print at aniva/Pantograph 2024-12-10 14:15:23 -08:00
0725d865de feat: Print value of arbitrary mvar in goal state
aniva created branch goal/print in aniva/Pantograph 2024-12-10 12:40:48 -08:00
aniva pushed to goal/print at aniva/Pantograph 2024-12-10 12:40:48 -08:00
ff49a64a13 feat: Dump proof expressions of arbitrary mvars
aniva pushed to frontend/infotree at aniva/Pantograph 2024-12-10 12:22:11 -08:00
681c3fb78d fix: Disallow indeterminant type `sorry`
aniva commented on pull request aniva/Pantograph#139 2024-12-09 21:44:59 -08:00
fix: Tactic failure on synthesizing placeholder

Should be ready to go

aniva pushed to dev at aniva/Pantograph 2024-12-09 21:43:05 -08:00
e9cbc6eab3 chore: Update version
aniva deleted branch chore/version from aniva/Pantograph 2024-12-09 21:43:05 -08:00
aniva merged pull request aniva/Pantograph#140 2024-12-09 21:43:04 -08:00
chore: Update version
aniva pushed to frontend/infotree at aniva/Pantograph 2024-12-09 21:40:10 -08:00
37a5884be4 fix: Use `ppSyntax` instead of `ppTactic`
aniva pushed to frontend/infotree at aniva/Pantograph 2024-12-09 21:00:51 -08:00
1527743900 refactor: Optionalize CompilationUnit
eb0374dfb3 feat: Collect new constants in repl
Compare 2 commits »
aniva pushed to frontend/infotree at aniva/Pantograph 2024-12-09 20:42:13 -08:00
9a69c48cb2 fix: Integration test failure
aniva pushed to frontend/infotree at aniva/Pantograph 2024-12-09 20:38:46 -08:00
dd00d803d1 feat: Collect sorry/elab failure boundaries
aniva created pull request aniva/Pantograph#140 2024-12-09 20:18:18 -08:00
chore: Update version
aniva created branch chore/version in aniva/Pantograph 2024-12-09 20:18:04 -08:00
aniva pushed to chore/version at aniva/Pantograph 2024-12-09 20:18:04 -08:00
e9cbc6eab3 chore: Update version