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 commented on pull request aniva/Pantograph#205 2025-05-12 13:49:43 -07:00
chore: Update Lean to v4.19.0

There are tons of unit test failures for some reason.

aniva pushed to touhou/yasaka-kanako at aniva/Cosplay 2025-05-12 12:24:49 -07:00
74145f88d2 Add bolts on rotor
aniva opened issue aniva/Cosplay#15 2025-05-11 20:55:13 -07:00
Running cq-editor on wayland
aniva pushed to touhou/yasaka-kanako at aniva/Cosplay 2025-05-09 13:58:34 -07:00
878d532890 Use rotor-stator configuration for bearing
aniva created pull request aniva/Pantograph#205 2025-05-07 06:54:22 -07:00
chore: Update Lean to v4.19.0
aniva pushed to chore/toolchain at aniva/Pantograph 2025-05-07 06:53:47 -07:00
d41ec67a63 chore: Update Lean to v4.19.0
aniva created branch chore/toolchain in aniva/Pantograph 2025-05-07 06:53:47 -07:00
aniva opened issue aniva/Pantograph#204 2025-05-06 09:19:14 -07:00
Pipe data extraction functions to file
aniva commented on issue aniva/Pantograph#170 2025-05-06 07:40:40 -07:00
🖇️ Recursive Functions and Termination Proofs

Related: https://leanprover.zulipchat.com/#narrow/channel/239415-metaprogramming-.2F-tactics/topic/detect.20termination.20proof.20obligations.20in.20TacticM/near/513200547

This detects…

aniva opened issue aniva/Pantograph#203 2025-05-05 08:05:15 -07:00
Pickle proof object
aniva pushed to chore/cleanup at aniva/Pantograph 2025-05-02 08:40:50 -07:00
eb41c179d1 feat(repl): Conditional environment inheritance
aniva pushed to chore/cleanup at aniva/Pantograph 2025-05-02 08:33:21 -07:00
4bb44dd56a chore: Syntax cleanup in repl
aniva created pull request aniva/Pantograph#202 2025-05-02 08:26:42 -07:00
chore: Code cleanup
aniva pushed to chore/cleanup at aniva/Pantograph 2025-05-02 08:26:29 -07:00
3bb8e75787 chore: Code cleanup
aniva created branch chore/cleanup in aniva/Pantograph 2025-05-02 08:26:29 -07:00
aniva pushed tag v0.3.1 to aniva/Pantograph 2025-05-02 08:24:44 -07:00
aniva deleted branch chore/version from aniva/Pantograph 2025-05-01 10:41:50 -07:00
aniva pushed to dev at aniva/Pantograph 2025-05-01 10:41:49 -07:00
120eb90291 Merge pull request 'chore: Update version' (#195) from chore/version into dev
df370b0bff Merge branch 'dev' into chore/version
3653465ded chore: Update version
Compare 3 commits »
aniva merged pull request aniva/Pantograph#195 2025-05-01 10:41:48 -07:00
chore: Update version
aniva closed issue aniva/Pantograph#151 2025-05-01 10:41:34 -07:00
Add unsafe detection in goal.print