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 merged pull request aniva/Pantograph#17 2023-10-05 21:52:38 -07:00

Bump Lean version to 4.1.0

aniva pushed to dev at aniva/Pantograph 2023-10-05 21:52:38 -07:00

5b002a9ceb Fix test failures

836a14fa63 Bump Lean version to 4.1.0

Compare 2 commits »

aniva pushed to misc/toolchain at aniva/Pantograph 2023-10-05 17:51:49 -07:00

5b002a9ceb Fix test failures

aniva created pull request aniva/Pantograph#17 2023-10-05 17:50:13 -07:00

Bump Lean version to 4.1.0

aniva created branch misc/toolchain in aniva/Pantograph 2023-10-05 17:49:56 -07:00

aniva pushed to misc/toolchain at aniva/Pantograph 2023-10-05 17:49:56 -07:00

836a14fa63 Bump Lean version to 4.1.0

aniva pushed to emacs at aniva/config 2023-10-05 17:41:25 -07:00

23ade34b03 Add julia and lua. Remove tabs

aniva pushed to dev at aniva/Pantograph 2023-10-02 10:31:19 -07:00

5f2b394471 Add dependency for lakefile and lean-toolchain

aniva deleted branch misc/build from aniva/Pantograph 2023-10-02 10:31:19 -07:00

aniva merged pull request aniva/Pantograph#16 2023-10-02 10:31:18 -07:00

Add dependency for lakefile and lean-toolchain

aniva pushed to misc/build at aniva/Pantograph 2023-10-02 10:31:06 -07:00

5f2b394471 Add dependency for lakefile and lean-toolchain

aniva created pull request aniva/Pantograph#16 2023-10-02 10:30:36 -07:00

Add dependency for lakefile and lean-toolchain

aniva pushed to misc/build at aniva/Pantograph 2023-10-02 10:30:23 -07:00

dabe6651a9 Add dependency for lakefile and lean-toolchain

aniva pushed to dev at aniva/Pantograph 2023-10-02 10:28:24 -07:00

2c3a7adb61 Use makefile instead of ad-hoc script

aniva merged pull request aniva/Pantograph#15 2023-10-02 10:28:22 -07:00

Use makefile instead of ad-hoc script

aniva created pull request aniva/Pantograph#15 2023-10-02 10:27:42 -07:00

Use makefile instead of ad-hoc script

aniva created branch misc/build in aniva/Pantograph 2023-10-02 10:26:44 -07:00

aniva pushed to misc/build at aniva/Pantograph 2023-10-02 10:26:44 -07:00

2c3a7adb61 Use makefile instead of ad-hoc script

aniva pushed to dev at aniva/Pantograph 2023-10-02 10:14:05 -07:00

8e02e6e7cc Add ready message to indicate the main loop is up

aniva merged pull request aniva/Pantograph#14 2023-10-02 10:14:03 -07:00

Add ready message to indicate the main loop is up