Sean 🇹🇼 says to AIS3 2026 Unofficial

forall 四種特性: if (三個不同): succ if (三個相同): succ else: fail

at Tue, Jul 27, 2021 12:05 AM