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

12

Projects Packages Public Activity Starred Repositories

9

aniva created branch dev in aniva/Pantograph 2023-08-21 10:48:15 -07:00

aniva pushed to main at aniva/Pantograph 2023-08-21 10:48:15 -07:00

aniva pushed to dev at aniva/Pantograph 2023-08-21 10:48:15 -07:00

ddf7ec21c8 Add compressed json print option; Rearrange commands into hierarchy

0e61093f47 Add proof variable delta; Bump version to 0.2.1

d476354a4a Add expression sexp printing (2/2)

19c57ada1e Add expression sexp printing (1/2, tests pending)

d705cdf0e5 version bump, restructure

Compare 5 commits »

aniva created branch main in aniva/Pantograph 2023-08-21 10:48:15 -07:00

aniva created repository aniva/Pantograph 2023-08-21 10:47:51 -07:00