San Francisco Bay Area, Gensokyo

Leni Aniva

Expert
@lenianiva

Researcher in Machine-Assisted Theorem Proving; Director of NorCal Hakkero Factory No. 1

leni.sh

lean4-nix. Nix overlay for Lean 4, and lake2nix

118

Prismriver. (Mirror) A Music formalization library and DSL in Lean 4

19

Manifest2Nix.jl. (Mirror) A Nix library for creating reproducible Julia builds and experiments via precompilation.

10

example-svelte-revealjs. Svelte and RevealJS example

1
4
Apply