Przemek Chojecki's picture

Przemek Chojecki

przemekch

·

AI & ML interests

None yet

Recent Activity

liked a Space 6 days ago

lm-provers/qed-nano-blogpost

new activity 6 days ago

lm-provers/QED-Nano:Formal proofs

updated a dataset 29 days ago

ulamai/UnsolvedMath

View all activity

Organizations

New activity in lm-provers/QED-Nano 6 days ago

Formal proofs

#2 opened 16 days ago by