Commit graph

Select branches

Hide pull requests

main

Mono Color

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