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 pushed to goal/branch-unification at aniva/Pantograph 2025-06-20 17:25:41 -07:00
343ecc2659 feat(goal): GoalState.replay stub
aniva deleted branch chore/toolchain from aniva/Pantograph 2025-06-20 14:03:08 -07:00
aniva pushed to dev at aniva/Pantograph 2025-06-20 14:03:07 -07:00
cd8c08fe38 Merge pull request 'chore: Update Nix flake' (#214) from chore/toolchain into dev
d1d6493d09 chore: Update Nix flake
Compare 2 commits »
aniva merged pull request aniva/Pantograph#214 2025-06-20 14:03:07 -07:00
chore: Update Nix flake
aniva deleted branch chore/version from aniva/Pantograph 2025-06-20 12:35:01 -07:00
aniva pushed to dev at aniva/Pantograph 2025-06-20 12:35:01 -07:00
9304cf2368 chore: Update version to 0.3.3
aniva merged pull request aniva/Pantograph#218 2025-06-20 12:35:00 -07:00
chore: Update version to 0.3.3
aniva created pull request aniva/Pantograph#218 2025-06-20 12:29:27 -07:00
chore: Update version to 0.3.3
aniva pushed to chore/version at aniva/Pantograph 2025-06-20 12:29:14 -07:00
9304cf2368 chore: Update version to 0.3.3
0db2451c8a Merge pull request 'fix: Use the correct unfold aux lemma' (#215) from bug/unfold-aux-lemma into dev
7d9d3e4742 fix: Use the correct unfold aux lemma
9a8b5040f5 Merge pull request 'chore: Update Lean to v4.20.1' (#209) from chore/toolchain into dev
66eb98397b merge: branch 'dev' into chore/toolchain
Compare 11 commits »
aniva created pull request aniva/Pantograph#217 2025-06-20 12:27:37 -07:00
feat(goal): Branch unification
aniva pushed to goal/branch-unification at aniva/Pantograph 2025-06-20 12:26:31 -07:00
aniva created branch goal/branch-unification in aniva/Pantograph 2025-06-20 12:26:31 -07:00
aniva pushed to serial/env-extensions at aniva/Pantograph 2025-06-20 12:25:53 -07:00
6323c02f47 test: Fix pickle state name
aniva pushed to serial/env-extensions at aniva/Pantograph 2025-06-20 12:10:40 -07:00
dfa491a5c2 test: Pickling of aux lemma
aniva pushed to serial/env-extensions at aniva/Pantograph 2025-06-20 12:00:42 -07:00
9d9f5dee88 test: Use synthetic tactic to generate aux lemmas
aniva pushed to serial/env-extensions at aniva/Pantograph 2025-06-20 10:50:37 -07:00
b3f88f5d54 Merge branch 'dev' into serial/env-extensions
0db2451c8a Merge pull request 'fix: Use the correct unfold aux lemma' (#215) from bug/unfold-aux-lemma into dev
7d9d3e4742 fix: Use the correct unfold aux lemma
Compare 3 commits »
aniva deleted branch bug/unfold-aux-lemma from aniva/Pantograph 2025-06-20 10:21:03 -07:00
aniva pushed to dev at aniva/Pantograph 2025-06-20 10:21:03 -07:00
0db2451c8a Merge pull request 'fix: Use the correct unfold aux lemma' (#215) from bug/unfold-aux-lemma into dev
7d9d3e4742 fix: Use the correct unfold aux lemma
Compare 2 commits »
aniva merged pull request aniva/Pantograph#215 2025-06-20 10:21:02 -07:00
fix: Use the correct unfold aux lemma
aniva pushed to serial/env-extensions at aniva/Pantograph 2025-06-20 10:20:40 -07:00
771f8ad266 chore: Formatting