Commit graph

Select branches

Hide pull requests

main

Mono Color

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