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 opened issue aniva/Chrysoblog#37 2025-01-22 13:45:25 -08:00

Drop support of instagram and add support for pixelfed

aniva pushed to bug/expr-proj-to-app-panic at aniva/Pantograph 2025-01-22 13:02:09 -08:00

8ce4cbdcf5 feat: Printing field projection in sexp

aniva pushed to bug/expr-proj-to-app-panic at aniva/Pantograph 2025-01-22 12:49:49 -08:00

3a26bb1924 fix: Analyze projection application

aniva created pull request aniva/Cosplay#11 2025-01-20 21:48:24 -08:00

cosplay: Touhou/Yasaka Kanako

aniva created branch touhou/yasaka-kanako in aniva/Cosplay 2025-01-20 21:48:00 -08:00

aniva pushed to touhou/yasaka-kanako at aniva/Cosplay 2025-01-20 21:48:00 -08:00

aniva pushed to main at aniva/Cosplay 2025-01-20 21:47:35 -08:00

6384d326c1 Merge pull request 'feat: Add model name prefix to build path' (#10) from lib/build into main

a6685e6779 feat: Add model name prefix to build path

Compare 2 commits »

aniva deleted branch lib/build from aniva/Cosplay 2025-01-20 21:47:35 -08:00

aniva merged pull request aniva/Cosplay#10 2025-01-20 21:47:33 -08:00

feat: Add model name prefix to build path

aniva commented on pull request aniva/Cosplay#7 2025-01-20 21:47:14 -08:00

cosplay: Touhou/Shiki Eiki

The crown needs major redesign. Maybe the sides need to be re-printed.

aniva opened issue aniva/Pantograph#162 2025-01-18 12:16:49 -08:00

Take generated constants into account

aniva pushed to bug/expr-proj-to-app-panic at aniva/Pantograph 2025-01-17 23:10:26 -08:00

5994f0ddf0 fix: Conditional handling of `.proj`

aniva commented on pull request aniva/Pantograph#161 2025-01-17 22:11:05 -08:00

fix: Panic in exprProjToApp

This is because https://leanprover.zulipchat.com/#narrow/channel/270676-lean4/topic/.E2.9C.94.20Querying.20inductive.20of.20one.20variant/near/494226905

aniva created pull request aniva/Pantograph#161 2025-01-16 10:33:46 -08:00

fix: Panic in exprProjToApp

aniva created branch bug/expr-proj-to-app-panic in aniva/Pantograph 2025-01-16 10:33:05 -08:00

aniva pushed to bug/expr-proj-to-app-panic at aniva/Pantograph 2025-01-16 10:33:05 -08:00

aniva pushed to dev at aniva/Pantograph 2025-01-16 10:32:50 -08:00

59935e386b Merge pull request 'feat: Draft tactic REPL interface' (#158) from tactic/draft into dev

62363cb943 fix: Over-eager assertion of fvarId validity

9d445783c2 feat: Draft tactic REPL interface

Compare 3 commits »

aniva deleted branch tactic/draft from aniva/Pantograph 2025-01-16 10:32:50 -08:00

aniva merged pull request aniva/Pantograph#158 2025-01-16 10:32:48 -08:00

feat: Draft tactic REPL interface

aniva opened issue aniva/Pantograph#160 2025-01-16 08:41:08 -08:00

Projection conversion function panics