chore: Update lean4-nix to mainline #121

Merged

aniva merged 1 commits from misc/build into dev 2024-11-15 17:44:02 -08:00

Conversation 0 Commits 1 Files Changed 1 +3 -3

1 Commits

Author	SHA1	Message	Date
Leni Aniva	f9d31597ec	chore: Update lean4-nix	2024-11-15 14:56:51 -08:00