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 feature/lib at aniva/Pantograph 2024-03-09 16:50:53 -08:00
863c6d9e7d feat(lib): Catalog command FFI
aniva pushed to main at aniva/RustCallLean 2024-03-09 16:00:09 -08:00
66dbf9ba3e Merge branch 'data-structures'
9714c61934 Rephrase error message
01a51b4e08 Add structure and inductive examples
Compare 3 commits »
aniva pushed to main at aniva/RustCallLean 2024-03-09 15:59:24 -08:00
6e1af2794d Tidying up the code
aniva pushed to feature/lib at aniva/Pantograph 2024-03-08 23:51:12 -08:00
021d0b5b7d feat: Add exported version function
aniva pushed to data-structures at aniva/RustCallLean 2024-03-07 21:48:40 -08:00
9714c61934 Rephrase error message
aniva created branch data-structures in aniva/RustCallLean 2024-03-07 21:38:06 -08:00
aniva pushed to data-structures at aniva/RustCallLean 2024-03-07 21:38:06 -08:00
01a51b4e08 Add structure and inductive examples
aniva pushed to main at aniva/RustCallLean 2024-03-07 00:20:16 -08:00
1f8807a809 Add usage and code cleanup
aniva pushed to misc/senbonzakura at aniva/OpenMusicScores 2024-03-06 19:55:31 -08:00
bf9e1521e0 Disconnect slurs
aniva pushed to feature/lib at aniva/Pantograph 2024-03-06 15:27:36 -08:00
ecacf2107c feat(build): Add shared facet for lean_lib
aniva pushed to feature/lib at aniva/Pantograph 2024-03-06 15:26:47 -08:00
075bec6da2 feat: Output shared library in flake
aniva pushed to feature/lib at aniva/Pantograph 2024-03-06 15:26:32 -08:00
3292b34070 Merge pull request 'feat: Print parent expression assignment' (#45) from goal/relation into dev
d57612ec71 test: Delayed metavariable assignment
9ac84b3fd1 Merge branch 'dev' into goal/relation
a748900ad6 Merge pull request 'feat: Add leanpkgs to the flake output' (#46) from nix/toolchain into dev
3e321516f7 chore: Expose `leanPkgs` in flake
Compare 6 commits »
aniva created pull request aniva/Pantograph#48 2024-03-06 15:25:35 -08:00
feat: Output shared library in Nix flake
aniva created branch feature/lib in aniva/Pantograph 2024-03-06 15:24:30 -08:00
aniva pushed to feature/lib at aniva/Pantograph 2024-03-06 15:24:30 -08:00
b3afe4161a feat: Output shared library in nix flake
aniva created pull request aniva/Pantograph#47 2024-03-06 15:19:37 -08:00
feat: Displaying delay assigned metavariable
aniva pushed to goal/relation at aniva/Pantograph 2024-03-06 15:14:27 -08:00
8853b17fee test: More diagnostics for tests
aniva created branch goal/relation in aniva/Pantograph 2024-03-06 15:14:27 -08:00
aniva pushed to main at aniva/RustCallLean 2024-03-06 14:38:08 -08:00
e0e293efc9 Code cleanup
aniva pushed to main at aniva/RustCallLean 2024-03-06 14:09:46 -08:00
a7aa5ba22e Fix linker error on linux