Leni Aniva aniva
  • Stanford University Centaur Lab
  • https://leni.sh
  • Director of NorCal Hakkero Factory No. 1

  • Joined on 2023-08-21
aniva pushed to linux-sway at aniva/config 2024-05-10 20:48:57 -07:00
46f3f1fffe fix: Screenshot and transparency
301b57ec06 Initial commit
Compare 2 commits »
aniva pushed to shell at aniva/config 2024-05-10 20:48:22 -07:00
53f3c5d63d fix: Use prompt_hostname instead of hostname
301b57ec06 Initial commit
Compare 2 commits »
aniva pushed to main at aniva/config 2024-05-10 20:47:25 -07:00
301b57ec06 Initial commit
aniva pushed to emacs at aniva/config 2024-05-10 20:47:08 -07:00
4ff5cfd3f9 feat: Emacs shell compatibility and SCAD mode
aniva commented on pull request aniva/Pantograph#72 2024-05-10 14:38:38 -07:00
feat: Elementarized tactics with motives, congruence, and absurdity

This breaks current metavariable resolution schema because the motive variable is delay assigned. See https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/Force.20instantiate.20delay.…

aniva created pull request aniva/config#12 2024-05-10 14:31:12 -07:00
fix: Linux sway and eww settings
aniva created pull request aniva/config#11 2024-05-10 14:30:25 -07:00
fix: Fish shell fix
aniva created pull request aniva/config#10 2024-05-10 11:11:06 -07:00
feat: Emacs shell compatibility and SCAD mode
aniva pushed to emacs at aniva/config 2024-05-10 11:10:16 -07:00
9a4a987d64 feat: Emacs shell compatibility and SCAD mode
aniva pushed to shell at aniva/config 2024-05-10 11:10:07 -07:00
80b5a2a3d6 fix: Use prompt_hostname instead of hostname
aniva created branch shell in aniva/config 2024-05-10 11:10:07 -07:00
aniva pushed to emacs at aniva/config 2024-05-10 11:08:58 -07:00
c7da83d36e Emacs shell compatibility and SCAD mode
aniva created branch emacs in aniva/config 2024-05-10 11:08:58 -07:00
aniva pushed to linux-sway at aniva/config 2024-05-09 22:37:44 -07:00
354705d709 fix: Screenshot and transparency
aniva created branch linux-sway in aniva/config 2024-05-09 22:37:44 -07:00
aniva pushed to goal/mapply at aniva/Pantograph 2024-05-09 14:03:06 -07:00
0b88f6708e test: Delayed mvar assignment for mapply
aniva pushed to goal/mapply at aniva/Pantograph 2024-05-08 20:51:50 -07:00
e58dbc66a9 fix: Consistent naming in library functions
aniva pushed to goal/mapply at aniva/Pantograph 2024-05-08 12:41:44 -07:00
66a5dfcf3c feat: Diagnostics command for FFI users
aniva pushed to goal/mapply at aniva/Pantograph 2024-05-06 22:39:33 -07:00
69ec70ffbe feat: Do not explicitly show delay assigned mvar
aniva pushed to goal/mapply at aniva/Pantograph 2024-05-06 22:20:46 -07:00
aa106f7591 feat: Do not filter mvars from mapply