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 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

aniva merged pull request aniva/Pantograph#116 2024-10-21 10:14:40 -07:00

doc: Change license to Apache2

aniva pushed to dev at aniva/Pantograph 2024-10-21 10:14:40 -07:00

8fe4c78c2a doc: Change license to Apache2

aniva created pull request aniva/Pantograph#116 2024-10-21 10:12:10 -07:00

doc: Change license to Apache2

aniva pushed to misc/license at aniva/Pantograph 2024-10-21 09:59:26 -07:00

8fe4c78c2a doc: Change license to Apache2

aniva created branch misc/license in aniva/Pantograph 2024-10-21 09:59:26 -07:00

aniva created pull request aniva/Pantograph#115 2024-10-14 21:30:48 -07:00

chore: Update Lean4 upstream to unofficial flake

aniva pushed to misc/build at aniva/Pantograph 2024-10-14 21:17:16 -07:00

d23f99fd44 feat: Update Lean4 upstream to unofficial flake

aniva created branch misc/build in aniva/Pantograph 2024-10-14 21:17:16 -07:00

aniva opened issue aniva/Pantograph#114 2024-10-13 17:50:45 -07:00

Incremental and intercepted parsing of Lean code