5 Commits

Author	SHA1	Message	Date
minjaesong	db7f24243d	verifications	2023-11-22 20:12:23 +09:00
minjaesong	c514f63f8f	verum-nimply logic: xor	2023-11-22 18:59:41 +09:00
minjaesong	660e492035	more on the verum-nimply logic	2023-11-22 17:46:48 +09:00
minjaesong	a70a247ef1	more on the verum-nimply logic	2023-11-22 17:08:07 +09:00
minjaesong	7b77998749	some study on logic	2023-11-22 14:13:30 +09:00