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 anthems/english at aniva/OpenMusicScores 2023-10-16 21:13:22 -07:00

46db7c3021 Move anthems to their folder

aniva created pull request aniva/OpenMusicScores#1 2023-10-16 21:11:43 -07:00

Some English anthems

aniva created branch anthems/english in aniva/OpenMusicScores 2023-10-16 21:10:37 -07:00

aniva pushed to anthems/english at aniva/OpenMusicScores 2023-10-16 21:10:37 -07:00

dae8d8a339 score: I Vow To Thee, My Country

aniva pushed to main at aniva/OpenMusicScores 2023-10-16 21:10:16 -07:00

aniva pushed to main at aniva/OpenMusicScores 2023-10-16 21:09:32 -07:00

dae8d8a339 score: I Vow To Thee, My Country

aniva commented on issue aniva/Pantograph#9 2023-10-15 19:23:26 -07:00

Extraction of tactics from syntax tree

References:

1. LeanInk
2. lean-training-data

aniva pushed to goal/dependency at aniva/Pantograph 2023-10-15 17:17:54 -07:00

9447d29e37 Store states instead of goals

8c93d30ab7 Rename tactic to goal and restructure

Compare 2 commits »

aniva pushed to main at aniva/OpenMusicScores 2023-10-08 23:31:21 -07:00

c4e564fa07 Initial commit

aniva created branch main in aniva/OpenMusicScores 2023-10-08 23:30:47 -07:00

aniva pushed to main at aniva/OpenMusicScores 2023-10-08 23:30:47 -07:00

8208b289a1 Initial commit

aniva created repository aniva/OpenMusicScores 2023-10-08 23:30:34 -07:00

aniva deleted branch tactic/dependency from aniva/Pantograph 2023-10-07 16:12:05 -07:00

aniva created pull request aniva/Pantograph#20 2023-10-07 16:11:54 -07:00

Enable companion generation

aniva created branch goal/dependency in aniva/Pantograph 2023-10-07 16:11:14 -07:00

aniva pushed to goal/dependency at aniva/Pantograph 2023-10-07 16:11:14 -07:00

aniva deleted branch tactic/book from aniva/Pantograph 2023-10-07 16:11:11 -07:00

aniva created pull request aniva/Pantograph#19 2023-10-07 15:27:08 -07:00

WIP: Enable companion generation and hole filling via proof terms

aniva pushed to emacs at aniva/config 2023-10-07 14:45:13 -07:00

4198639ec2 Merge branch 'main' into emacs

d4d7ab5e79 Move month before day in waybar

Compare 2 commits »

aniva pushed to main at aniva/config 2023-10-07 14:44:55 -07:00

d4d7ab5e79 Move month before day in waybar