kachnuv_ocasek

A Ptáčeḳ

Posts

• Algorithms for Decision Making
  by kachnuv_ocasekon 12/31/2024, 2:21 PMwith 0 comments
• Formalizing the proof of PFR in Lean4 using Blueprint
  by kachnuv_ocasekon 11/20/2023, 9:18 AMwith 0 comments