chore: Update Lean4 upstream to unofficial flake #115

Merged

aniva merged 6 commits from misc/build into dev

2024-11-15 14:40:48 -08:00

Author	SHA1	Message	Date
Leni Aniva	0ee7d57570	feat: Expose iTree for LSP Configuration	2024-11-14 22:51:25 -08:00
Leni Aniva	600c27a616	Merge branch 'dev' into misc/build	2024-11-14 22:44:55 -08:00
Leni Aniva	e5d0459956	fix: Flake Build failure on x86_64-darwin	2024-11-14 22:20:06 -08:00
Leni Aniva	b99fecdb50	chore: Update `lean4-nix`	2024-10-26 17:52:37 -07:00
Leni Aniva	23efed960b	chore: Update `lean4-nix`	2024-10-26 13:49:03 -07:00
Leni Aniva	d23f99fd44	feat: Update Lean4 upstream to unofficial flake	2024-10-14 21:16:41 -07:00