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 litwiki at aniva/To-The-Stars 2023-09-11 20:40:43 -07:00
27d974b08a Add citation checking
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 created branch litwiki in aniva/To-The-Stars 2023-09-11 17:19:45 -07:00
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 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 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 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 »
aniva pushed to tactic/book at aniva/Pantograph 2023-08-30 19:16:42 -07:00
46347d8244 Add SemihashMap interface, rename proof commands to goal commands, allow deletion
aniva opened issue aniva/config#2 2023-08-28 17:43:03 -07:00
Automatically setup dot files
aniva created pull request aniva/config#1 2023-08-28 17:41:16 -07:00
Add macOS specific configuration files
aniva pushed to macOS at aniva/config 2023-08-28 17:38:29 -07:00
740bb568ec Add skhd and yabai
aniva created branch macOS in aniva/config 2023-08-28 17:38:29 -07:00
aniva pushed to dev at aniva/Pantograph 2023-08-28 17:29:30 -07:00
71327d2d55 Separate max and imax in sort level