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#18 2023-10-06 16:30:53 -07:00
Companion Generation
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 merged pull request aniva/Pantograph#17 2023-10-05 21:52:38 -07:00
Bump Lean version to 4.1.0
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 pushed to misc/toolchain at aniva/Pantograph 2023-10-05 17:49:56 -07:00
836a14fa63 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 emacs at aniva/config 2023-10-05 17:41:25 -07:00
23ade34b03 Add julia and lua. Remove tabs
aniva deleted branch misc/build from aniva/Pantograph 2023-10-02 10:31:19 -07:00
aniva pushed to dev at aniva/Pantograph 2023-10-02 10:31:19 -07:00
5f2b394471 Add dependency for lakefile and lean-toolchain
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