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

13

Projects Packages Public Activity Starred Repositories

9

aniva pushed to main at aniva/RustCallLean 2024-03-10 08:47:45 -07:00

86dc7f289e Add IO monad example

aniva pushed to feature/lib at aniva/Pantograph 2024-03-10 08:14:05 -07:00

f42a27e036 feat(lib): Expose goal state interface

aniva pushed to feature/lib at aniva/Pantograph 2024-03-10 06:41:54 -07:00

d958dbed9d feat(lib): CoreM execution function

aniva pushed to feature/lib at aniva/Pantograph 2024-03-09 20:37:57 -08:00

ca89d671cc refactor: Move some functions to `Library.lean`

aniva pushed to feature/lib at aniva/Pantograph 2024-03-09 20:34:00 -08:00

dc6d5d0ab0 refactor: Move some functions to `Library.lean`

aniva pushed to feature/lib at aniva/Pantograph 2024-03-09 19:36:46 -08:00

4706df2217 feat(lib): Search path function

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 pushed to data-structures at aniva/RustCallLean 2024-03-07 21:38:06 -08:00

01a51b4e08 Add structure and inductive examples

aniva created branch data-structures in aniva/RustCallLean 2024-03-07 21:38:06 -08:00

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