Leni Aniva aniva

0 Followers · 1 Following

• Stanford University Centaur Group
• https://leni.sh

• Admin of this website

• Joined on 2023-08-21

Repositories

10

Projects Packages Public Activity Starred Repositories

2

aniva pushed to main at aniva/To-The-Stars 2023-08-22 23:19:50 -07:00

6fb703a12e Add litwiki package stub and move ./notes to ./wiki

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 pushed to emacs at aniva/common 2023-08-21 10:49:24 -07:00

aniva created branch main in aniva/common 2023-08-21 10:49:24 -07:00

aniva pushed to main at aniva/common 2023-08-21 10:49:24 -07:00

85412a0282 Merge branch 'emacs'

d1fafb1d2c Change tabs to 3 in rustfmt

Compare 2 commits »

aniva created branch emacs in aniva/common 2023-08-21 10:49:24 -07:00

aniva created repository aniva/common 2023-08-21 10:49:06 -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 »