5 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
qwjyh	4710ca1976	(WIP) mid of exercises on quantifiers_and_equality	2024-04-22 20:50:38 +09:00
qwjyh	369f68c9a7	proposition and proofs	2024-04-21 10:10:24 +09:00
qwjyh	3eb2bdcf12	(WIP) exercise	2024-04-20 20:41:17 +09:00
qwjyh	5aa2ea416c	WIP	2024-04-20 17:20:05 +09:00
qwjyh	308bf51494	init (3.2 negation)	2024-04-20 13:24:32 +09:00