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 pushed to serial/pickle at aniva/Pantograph 2024-11-08 14:34:36 -08:00
70f86f6e93 doc: Update delation documentation
aniva created branch serial/pickle in aniva/Pantograph 2024-11-08 13:06:42 -08:00
aniva pushed to serial/pickle at aniva/Pantograph 2024-11-08 13:06:42 -08:00
0d57027681 refactor: Merge Condensed into Delate
1c4f38e5eb refactor: Rename {Serial,Delate}.lean
Compare 2 commits »
aniva created pull request aniva/Pantograph#119 2024-11-05 14:40:12 -08:00
feat: Extract used constants from invocation
aniva pushed to frontend/data at aniva/Pantograph 2024-11-05 14:37:28 -08:00
d7c9590780 feat: Extract used constants from invocation
aniva created branch frontend/data in aniva/Pantograph 2024-11-05 14:37:28 -08:00
aniva opened issue aniva/Pantograph#118 2024-11-03 12:16:17 -08:00
Used constant for tactic info extraction
aniva deleted branch ui/fish from aniva/config 2024-10-30 14:01:57 -07:00
aniva pushed to main at aniva/config 2024-10-30 14:01:56 -07:00
cd9037b97e Merge pull request 'feat: Use two line fish prompt' (#21) from ui/fish into main
b9a1bf3dd3 feat: Set bg color to differentiate prompt
1c49965dcb feat: Use two line fish prompt
Compare 3 commits »
aniva merged pull request aniva/config#21 2024-10-30 14:01:55 -07:00
feat: Use two line fish prompt
aniva pushed to misc/build at aniva/Pantograph 2024-10-26 17:52:47 -07:00
b99fecdb50 chore: Update `lean4-nix`
aniva pushed to misc/build at aniva/Pantograph 2024-10-26 13:49:24 -07:00
23efed960b chore: Update `lean4-nix`
aniva opened issue aniva/Pantograph#117 2024-10-22 11:02:32 -07:00
One stop env add
aniva pushed to main at aniva/Pattern-Tutorial 2024-10-22 10:33:25 -07:00
59978b5994 Sloper document title
aniva pushed to main at aniva/Pattern-Tutorial 2024-10-21 12:19:29 -07:00
97137b2012 Initial commit
aniva created branch main in aniva/Pattern-Tutorial 2024-10-21 12:19:29 -07:00
aniva created repository aniva/Pattern-Tutorial 2024-10-21 12:19:12 -07:00
aniva commented on issue aniva/Pantograph#114 2024-10-21 11:25:45 -07:00
Incremental and intercepted parsing of Lean code

Partly solved by #113

aniva commented on issue aniva/Pantograph#104 2024-10-21 11:22:57 -07:00
goal.delete exceeds max recursion depth

Can we replicate this problem?

aniva deleted branch misc/license from aniva/Pantograph 2024-10-21 10:14:41 -07:00