3 Commits

Author	SHA1	Message	Date
Sameer Rahmani	f11a4b8289	Update the license header for 2024	2024-02-18 16:08:02 +00:00
Sameer Rahmani	b3e2dcf99e	Move cubes directory under fg42	2024-02-18 16:06:30 +00:00
Sameer Rahmani	9c016423ff	Rename the core directory to lisp	2024-02-18 16:02:31 +00:00

Renamed from core/cubes/proof.el (Browse further)