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 pushed to main at aniva/To-The-Stars 2023-09-11 20:44:46 -07:00
b249155d70 Add citation checking
957af95ba1 Add litwiki unit test to pre commit hook
Compare 2 commits »
aniva merged pull request aniva/To-The-Stars#3 2023-09-11 20:44:46 -07:00
Add citation checking in litwiki
aniva pushed to litwiki at aniva/To-The-Stars 2023-09-11 20:44:39 -07:00
5895385d62 Merge branch 'main' into litwiki
4e336fb6b2 Rename by volume
4ebff768ce Move diagrams to their own directory
Compare 3 commits »
aniva merged pull request aniva/To-The-Stars#2 2023-09-11 20:42:14 -07:00
Move diagrams to their own directory and rename
aniva pushed to main at aniva/To-The-Stars 2023-09-11 20:42:14 -07:00
4e336fb6b2 Rename by volume
4ebff768ce Move diagrams to their own directory
Compare 2 commits »
aniva created pull request aniva/To-The-Stars#3 2023-09-11 20:41:34 -07:00
Add citation checking in litwiki
aniva pushed to litwiki at aniva/To-The-Stars 2023-09-11 20:40:43 -07:00
27d974b08a Add citation checking
aniva created branch litwiki in aniva/To-The-Stars 2023-09-11 17:19:45 -07:00
aniva pushed to litwiki at aniva/To-The-Stars 2023-09-11 17:19:45 -07:00
5131ce5400 Add litwiki unit test to pre commit hook
aniva pushed to diagrams at aniva/To-The-Stars 2023-09-11 16:37:27 -07:00
4e336fb6b2 Rename by volume
aniva created pull request aniva/To-The-Stars#2 2023-09-11 16:24:11 -07:00
Move diagrams to their own directory and rename
aniva pushed to diagrams at aniva/To-The-Stars 2023-09-11 16:22:46 -07:00
4ebff768ce Move diagrams to their own directory
aniva pushed to main at aniva/udon 2023-09-11 00:44:28 -07:00
d0192547df Basic lock
aniva commented on issue aniva/Pantograph#6 2023-08-30 19:19:35 -07:00
Missing proofs in code

Now we have a newcomer: Most functions in SemihashMap.lean don't have proofs either. They should be relatively easy to prove.

aniva closed issue aniva/Pantograph#8 2023-08-30 19:18:49 -07:00
Allow deletion of certain proof states and remove proof tree structure
aniva commented on issue aniva/Pantograph#8 2023-08-30 19:18:49 -07:00
Allow deletion of certain proof states and remove proof tree structure

Done!

aniva pushed to dev at aniva/Pantograph 2023-08-30 19:18:38 -07:00
c4a97d8a76 Merge pull request 'Simplify goal bookkeeping mechanism' (#10) from tactic/book into dev
acfd4e8288 Merge branch 'dev' into tactic/book
46347d8244 Add SemihashMap interface, rename proof commands to goal commands, allow deletion
8d5d7b6e3e Version bump to 0.2.4 due to breaking change
80ad7a2bd0 Rename proof commands to goal commands
Compare 6 commits »
aniva merged pull request aniva/Pantograph#10 2023-08-30 19:18:37 -07:00
Simplify goal bookkeeping mechanism
aniva commented on pull request aniva/Pantograph#10 2023-08-30 19:18:13 -07:00
Simplify goal bookkeeping mechanism

Proofs are postponed and hopefully we can get proof to mesh with code.

aniva pushed to tactic/book at aniva/Pantograph 2023-08-30 19:17:33 -07:00
acfd4e8288 Merge branch 'dev' into tactic/book
71327d2d55 Separate max and imax in sort level
Compare 2 commits »