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 branch goal/automatic in aniva/Pantograph 2024-09-06 17:52:25 -07:00
aniva pushed to lib/export at aniva/Pantograph 2024-09-05 12:03:38 -07:00
02556f3c79 feat: Expose `GoalState` functions
aniva created branch lib/export in aniva/Pantograph 2024-09-05 12:03:37 -07:00
aniva created pull request aniva/config#18 2024-09-04 15:42:51 -07:00
feat: rest module, fix: lsp mode hook
aniva pushed to emacs at aniva/config 2024-09-04 15:42:02 -07:00
92cf668e63 feat: Add `rest` module. Remove `snippets`
087a5b373c fix: LSP Mode Hook
Compare 2 commits »
aniva pushed to emacs at aniva/config 2024-09-04 15:40:49 -07:00
dbbc4478eb Merge pull request 'feat: SCAD and telegram modes' (#16) from emacs into main
aniva pushed to dev at aniva/Pantograph 2024-09-03 19:19:11 -07:00
9c40a83956 fix: Instantiate type when detecting `eq`
aniva deleted branch bug/eq-detection-in-congruence from aniva/Pantograph 2024-09-03 19:19:11 -07:00
aniva merged pull request aniva/Pantograph#91 2024-09-03 19:19:10 -07:00
fix: Instantiate type when detecting `eq`
aniva created pull request aniva/Pantograph#91 2024-09-03 19:07:00 -07:00
fix: Instantiate type when detecting eq
aniva pushed to bug/eq-detection-in-congruence at aniva/Pantograph 2024-09-03 19:06:38 -07:00
9c40a83956 fix: Instantiate type when detecting `eq`
aniva created branch bug/eq-detection-in-congruence in aniva/Pantograph 2024-09-03 19:06:38 -07:00
aniva deleted branch bug/hidden-fvar-in-define from aniva/Pantograph 2024-09-03 18:15:59 -07:00
aniva pushed to dev at aniva/Pantograph 2024-09-03 18:15:59 -07:00
f8df2599f9 fix: Use `replaceMainGoal` instead of `setGoals`
8d2cd6dfc7 fix: Bindings in prograde tactics
Compare 2 commits »
aniva merged pull request aniva/Pantograph#90 2024-09-03 18:15:58 -07:00
fix: Bindings in prograde tactics
aniva commented on issue aniva/config#13 2024-09-03 17:01:29 -07:00
Emacs freezes while using LSP

Maybe its a problem of snippets. Trying without it on Mellite.

aniva created pull request aniva/config#17 2024-09-03 16:59:58 -07:00
doc: Add system installation guide
aniva created branch system in aniva/config 2024-09-03 16:59:38 -07:00
aniva pushed to system at aniva/config 2024-09-03 16:59:38 -07:00
b057743c86 doc: Add system installation guide
aniva created pull request aniva/Pantograph#90 2024-09-03 14:19:50 -07:00
fix: Bindings in prograde tactics