5 Commits

Author	SHA1	Message	Date
Julin S	118b3a9fe4	[beluga] try official tutorial	2024-04-06 23:43:16 +05:30
Julin S	dfe68734ba	add few old coq files	2023-05-22 14:41:06 +05:30
Julin S	7218c99d19	make coq dir	2023-04-08 12:58:55 +05:30
Julin S	6e30884d84	[coq] edit sumn.v	2023-04-07 22:12:42 +05:30
Julin S	cb784cafd4	[coq] make sumn.v	2023-04-07 21:50:29 +05:30