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 io/serial at aniva/Pantograph 2024-03-28 19:56:13 -07:00
9adef4364c test: Catalog has no numeric symbols
aniva created pull request aniva/Pantograph#50 2024-03-28 19:51:15 -07:00
feat: Remove display of implementation details
aniva pushed to io/serial at aniva/Pantograph 2024-03-28 19:50:24 -07:00
35c4ea693d feat: Stop cataloging internal/detail dependencies
d9af064888 test: Elimination of aux lemmas
Compare 2 commits »
aniva created branch io/serial in aniva/Pantograph 2024-03-28 18:57:04 -07:00
aniva pushed to io/serial at aniva/Pantograph 2024-03-28 18:57:04 -07:00
01a23b338a feat: Unfold aux lemmas when printing root expr
aniva deleted branch misc/toolchain from aniva/Pantograph 2024-03-28 12:05:17 -07:00
aniva pushed to dev at aniva/Pantograph 2024-03-28 12:05:17 -07:00
91e55245fa doc: Update README.md
22fdb7bea9 build: Nix build targets and checks
60903bf31f feat: Bump toolchain version
Compare 3 commits »
aniva merged pull request aniva/Pantograph#49 2024-03-28 12:05:15 -07:00
build: Toolchain bump and Nix flake fix
aniva created pull request aniva/Pantograph#49 2024-03-28 11:37:49 -07:00
build: Toolchain bump and Nix flake fix
aniva pushed to misc/toolchain at aniva/Pantograph 2024-03-28 11:37:19 -07:00
91e55245fa doc: Update README.md
aniva pushed to misc/toolchain at aniva/Pantograph 2024-03-28 11:34:12 -07:00
22fdb7bea9 build: Nix build targets and checks
aniva pushed to misc/toolchain at aniva/Pantograph 2024-03-28 00:06:54 -07:00
60903bf31f feat: Bump toolchain version
a3a244159b chore: Version bump to 0.2.13
bb09d1e964 chore: Version bump to 4.8.0 prerelease
b7542b4749 chore: Lean version bump to 4.7.0-rc2
689112d973 fix: Use Arrays only in the ABI
Compare 107 commits »
aniva created branch misc/version in aniva/Pantograph 2024-03-26 19:21:47 -07:00
aniva pushed to misc/version at aniva/Pantograph 2024-03-26 19:21:47 -07:00
aniva commented on issue aniva/Pantograph#9 2024-03-18 10:11:35 -07:00
Extraction of tactics from syntax tree

This is temporarily superseded by atomization in Trillium.

aniva created branch main in aniva/ReproduciblePython 2024-03-17 16:14:24 -07:00
aniva pushed to main at aniva/ReproduciblePython 2024-03-17 16:14:24 -07:00
96084f2f75 Initial commit
aniva renamed repository from Reproducible to aniva/ReproduciblePython 2024-03-17 16:13:54 -07:00
aniva renamed repository from Reproducible-Torch to aniva/ReproduciblePython 2024-03-17 16:13:15 -07:00
aniva created repository aniva/ReproduciblePython 2024-03-17 16:11:43 -07:00