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/Pantograph#192 2025-04-18 00:24:43 -07:00

Goal duplication

aniva pushed to doc/rationale at aniva/Pantograph 2025-04-14 23:26:37 -07:00

60f79f5f02 doc: Fix typo

aniva commented on issue aniva/Pantograph#191 2025-04-14 16:48:36 -07:00

Code generation of recursors

Also vide: https://leanprover.zulipchat.com/#narrow/channel/270676-lean4/topic/.E2.9C.94.20.22code.20generator.20does.20not.20support.20recursor.22

This is related to generating recursive…

aniva pushed to doc/rationale at aniva/Pantograph 2025-04-14 16:27:40 -07:00

4abe2fa72f fix: LEAN_PATH example

aniva opened issue aniva/Pantograph#191 2025-04-14 16:23:39 -07:00

Code generation of recursors

aniva commented on issue aniva/Pantograph#190 2025-04-14 16:08:09 -07:00

Use non-computable section by default

Also if we want to generate code, we may need to wait until the code generator can handle recursors. Vide Canonical.

aniva opened issue aniva/Pantograph#190 2025-04-14 16:01:57 -07:00

Use non-computable section by default

aniva pushed tag v0.3.0 to aniva/Pantograph 2025-04-14 15:32:44 -07:00

aniva deleted tag v0.3.0 from aniva/Pantograph 2025-04-14 15:32:34 -07:00

aniva pushed to stock-composition at aniva/BoundaryBadApple 2025-04-14 13:12:59 -07:00

a189981d4e feat: Display divided image in greyscale

aniva pushed to touhou at aniva/OpenMusicScores 2025-04-13 23:35:17 -07:00

3f12fa15f5 Move incorrect section label

aniva pushed to touhou at aniva/OpenMusicScores 2025-04-13 23:34:20 -07:00

17e48a9c7c Section label and adjust difficult distances

aniva created pull request aniva/Pantograph#189 2025-04-13 22:56:25 -07:00

doc: Update rationale

aniva pushed to doc/rationale at aniva/Pantograph 2025-04-13 22:56:02 -07:00

77b517f4c6 doc: Update rationale about timeout

aniva created branch doc/rationale in aniva/Pantograph 2025-04-13 22:56:01 -07:00

aniva opened issue aniva/Pantograph#188 2025-04-12 00:16:37 -07:00

Unshielded Tactic

aniva pushed to stock-composition at aniva/BoundaryBadApple 2025-04-11 15:54:02 -07:00

6d2df0e84f feat: Iterative rectangle refinement

aniva pushed to touhou/shiki-eiki at aniva/Cosplay 2025-04-11 11:15:43 -07:00

eae736fdfb fix: Add outer curvature to side guard

aniva pushed to touhou/shiki-eiki at aniva/Cosplay 2025-04-11 11:06:17 -07:00

aniva created branch touhou/shiki-eiki in aniva/Cosplay 2025-04-11 11:06:17 -07:00