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

1,536 contributions in the last 12 months

Less

More

aniva opened issue aniva/Pantograph#1 2023-08-21 19:53:21 -07:00

Allow adding definitions to environments

aniva created branch main in aniva/To-The-Stars 2023-08-21 10:52:41 -07:00

aniva pushed to main at aniva/To-The-Stars 2023-08-21 10:52:41 -07:00

3d8bd16355 Rename chapter files and add map stub

46b21526ba Update note to I.2 and add battle diagram of I.1

184bcd7653 Separate notes into own folder

358c3e5b53 Add diagram stub

b10e10e0c6 Initial commit with notes

aniva created repository aniva/To-The-Stars 2023-08-21 10:52:22 -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 pushed to main at aniva/Pantograph 2023-08-21 10:48:15 -07:00

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

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

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