feat: Add definitions and theorems to the environment #41

Merged

aniva merged 9 commits from env/add-decl into dev

2023-12-26 12:41:02 -08:00

Author	SHA1	Message	Date
Leni Aniva	77232d5a1e	refactor: Rename Test/{Catalog,Environment}	2023-12-26 12:22:57 -05:00
Leni Aniva	22789436bd	chore: Move environment functions to its own file Symbol.lean is now subsumed	2023-12-15 13:40:36 -05:00
Leni Aniva	aca7dc9811	refactor: env. operations into its own file	2023-12-15 13:37:55 -05:00
Leni Aniva	3b83c81540	fix: Force instantiate all mvars in env.add	2023-12-15 13:07:59 -05:00
Leni Aniva	6c25cca46a	test: env.add	2023-12-14 11:11:24 -08:00
Leni Aniva	2f3a91562a	fix: env_add monads	2023-12-14 05:52:12 -08:00
Leni Aniva	09f5792d4a	Merge branch 'dev' into env/add-decl	2023-12-14 05:48:49 -08:00
Leni Aniva	02889510b2	feat: env_add command	2023-12-13 19:35:32 -08:00
Leni Aniva	12544b81ee	chore: Rename lib. commands to env. This is done to improve clarity and align with Lean's terminology	2023-12-12 18:56:25 -08:00