10. Lists
Created by tzemanovic on Feb 26, 2026, 10:34 AM
State:
TWA4NN6RBHY3Y37HVR7GQ4LKURIVIDY37ZNGXBRJRLXPMLVM3RWAC9. Decidable
Created by tzemanovic on Feb 22, 2026, 3:09 PM
State:
XCPSCII2HQPAWDRUPPDXTEF6DANJECY6LNL3MS6XD2FKUXZAMQVQCproof postulates in quantifiers
Created by tzemanovic on Feb 20, 2026, 1:48 PM
State:
3KHE4QZNY5XDN2LBEZN6TUKE4KBFFWTKEKVILNW7ME7Z6MJC5X5QC8. Quantifiers
Created by tzemanovic on Feb 19, 2026, 2:48 PM
State:
2UAMGBDBUV7GL52THPZGLYQQ4VAFKKRILS4DFYC3NJL2NQ75GDZQC7. Negation
Created by tzemanovic on Feb 17, 2026, 2:31 PM
State:
6WQJMLV2SYOL7OED3KYR6U4HAUD2QL3YMQ3F3DPJEOBGTXKJ63RAC6. Connectives
Created by tzemanovic on Feb 15, 2026, 4:38 PM
State:
GS3Z7MHYWBHAUXA6YT46S4ZBRSMOD7VE3ZJ57HTC4PORP574GXPACfix notation
Created by tzemanovic on Feb 15, 2026, 11:31 AM
State:
6EAB36DSBBWTXQL2MHPW7GIP3MMZ4JMVLJVWCPDTC4R7HBC265WQCstyle
Created by tzemanovic on Feb 13, 2026, 4:09 PM
State:
RZVKOG262CQTVZ2GPAYLGO3PKGVHIZGSLQG7OI77KXFZMXU55MNACsimplify isomorphism exercise with an import
Created by tzemanovic on Feb 13, 2026, 4:06 PM
State:
6RNJ2AU62652QLSRH345THYUGWZRG3YBMIP3IIC25BSXK4ZJDTOQC5. Isomorphism
Created by tzemanovic on Feb 13, 2026, 3:59 PM
State:
YXJ7OC2VI7SUIBVIZ2OT6APADQKPESEOCWXQO4QN35VEWZR3PO3ACignore /src/_build
Created by tzemanovic on Feb 13, 2026, 1:01 PM
State:
R23PT4RCJKYATABIBYLF2S2ZIPMRCA5BFZPB33ZQB5TCVH32YSZQCupdate .ignore
Created by tzemanovic on Feb 13, 2026, 1:00 PM
State:
ZHPJ5FFI5T6DN7L7EVD7HWSCQLDN36VFA2C6ZFJPJWR3HNU4HAEACadd standard-library
Created by tzemanovic on Feb 13, 2026, 12:59 PM
State:
2DUJXYJHXRKZPVYNMTL3IL72SMABKQT4GIIIA4ATGPILQY6WXRYQCState:
G2JQU4UG7GQPRLDSFIBMRELET6K26KRNRC5WD6VZZBUMAU7WS5OQCState:
ZDCTBTZKVGJO3PLPMJ4ZJG5CAGYTDFMA67XTSPDCO22PBUIQ3EDACState:
ZDDUSN5OJE5CODEZ7Z2ZVIHBDTIE3CTNZX2KRHAJT2CRSKXYR6JQCState:
6ENQH6ZDWF5FQGVYN5LVBOJ7PHT3HVI5D2AWYZXV6RUBJDBZJZBACState:
Y6VCR6I6YGBYX5W2PVTFSLLXPGWK6RBD63A7JMBUHOA7QVZIIH7QCState:
6P23EQFKX5MWL42PFLSAYPCMJ3TCNKDP6XEBQDLHCEBL5274RVBQCState:
GF3GQDQU5BS7G3KWGK4KOR5JPCQMVXAZD4WCQZSJ24P2V7D72YWACState:
2IXCOOKPX2QLFXI4WYH3IP54X6FWMUHBG5AA55WDE3OTYO2S5FEAC