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 opened issue aniva/Pantograph#4 2023-08-22 20:56:13 -07:00
Redundant error messages
aniva opened issue aniva/Pantograph#3 2023-08-22 20:26:43 -07:00
Dead code in proof tree
aniva created pull request aniva/Pantograph#2 2023-08-22 09:58:54 -07:00
WIP: Add more serialisation options
aniva created branch io/serial in aniva/Pantograph 2023-08-22 09:57:12 -07:00
aniva pushed to io/serial at aniva/Pantograph 2023-08-22 09:57:12 -07:00
1d1fa60175 Move all json-string functions to Main.lean
aniva pushed to main at aniva/To-The-Stars 2023-08-21 23:31:54 -07:00
96df29b1f9 Restructure notes to prepare for branching
aniva opened issue aniva/Pantograph#1 2023-08-21 19:53:21 -07:00
Allow adding definitions to environments
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 branch main in aniva/To-The-Stars 2023-08-21 10:52:41 -07:00
aniva created repository aniva/To-The-Stars 2023-08-21 10:52:22 -07:00
aniva created branch main 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 created branch dev in 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 repository aniva/Pantograph 2023-08-21 10:47:51 -07:00