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 created pull request aniva/Pantograph#216 2025-06-20 10:20:23 -07:00
feat: Robust environment extension pickling
aniva created branch serial/env-extensions in aniva/Pantograph 2025-06-20 10:19:57 -07:00
aniva pushed to serial/env-extensions at aniva/Pantograph 2025-06-20 10:19:57 -07:00
1b2a2d5c8d test: Intentionally generate aux lemmas
aniva pushed to touhou at aniva/OpenMusicScores 2025-06-19 23:18:45 -07:00
f64747df91 Add finger positions and rings
aniva commented on issue aniva/Pantograph#137 2025-06-19 19:21:31 -07:00
🖇️ Environment Delta Pickling

One simple solution here is to collect all generated proof terms and check if they contain constants not in the parent environment.

aniva created pull request aniva/Pantograph#215 2025-06-19 15:49:28 -07:00
fix: Use the correct unfold aux lemma
aniva created branch bug/unfold-aux-lemma in aniva/Pantograph 2025-06-19 15:49:01 -07:00
aniva pushed to bug/unfold-aux-lemma at aniva/Pantograph 2025-06-19 15:49:01 -07:00
7d9d3e4742 fix: Use the correct unfold aux lemma
aniva commented on issue aniva/Pantograph#132 2025-06-19 15:06:05 -07:00
Branch unification

This is related to #137. If we're only sharing proof terms, merger is relatively trivial. However, if one of the proof branches contain auxiliary lemmas, e.g. on machine 1, goal 1 gets assigned…

aniva created pull request aniva/Pantograph#214 2025-06-19 14:51:27 -07:00
chore: Update Nix flake
aniva pushed to chore/toolchain at aniva/Pantograph 2025-06-19 14:51:04 -07:00
d1d6493d09 chore: Update Nix flake
aniva created branch chore/toolchain in aniva/Pantograph 2025-06-19 14:51:04 -07:00
aniva opened issue aniva/Pantograph#213 2025-06-19 13:23:40 -07:00
Tracker: Articulation and Syntax Processing
aniva closed pull request aniva/Pantograph#212 2025-06-19 13:12:11 -07:00
chore: Update version to 0.3.2
aniva pushed tag v0.3.2 to aniva/Pantograph 2025-06-19 13:11:55 -07:00
aniva closed issue aniva/Pantograph#104 2025-06-18 21:15:52 -07:00
goal.delete exceeds max recursion depth
aniva commented on issue aniva/Pantograph#104 2025-06-18 21:15:52 -07:00
goal.delete exceeds max recursion depth

Should be fine now that we do not use CoreM as a basis of MainM anymore.

aniva commented on issue aniva/Pantograph#204 2025-06-18 21:15:12 -07:00
Pipe data extraction functions to file

Done #208

aniva closed issue aniva/Pantograph#204 2025-06-18 21:15:12 -07:00
Pipe data extraction functions to file
aniva deleted branch chore/toolchain from aniva/Pantograph 2025-06-18 16:39:21 -07:00