https://padlet.com/hdiener_math/6kc4g87z9w0k 27th+30th July en-us 2017-06-21 01:40:41 UTC 2026-01-28 04:08:42 UTC hello@padlet.com hdiener_math https://padlet.com/hdiener_math/6kc4g87z9w0k/wish/177046058 S \lor K, S \to U, K \to U \vdash U]]> 2017-06-21 01:40:53 UTC https://padlet.com/hdiener_math/6kc4g87z9w0k/wish/177046058 https://padlet.com/hdiener_math/6kc4g87z9w0k/wish/180554636 V \lor B, \quad L \lor D, \quad B \to \neg D \vdash L \lor V]]> 2017-08-10 02:09:14 UTC https://padlet.com/hdiener_math/6kc4g87z9w0k/wish/180554636