1/ PHÁT HÀNH TRỤC: Axiom Lean Engine ⚙️ Chúng tôi đang phục vụ cơ sở hạ tầng cốt lõi của mình để chứng minh chính thức ở quy mô lớn. Đây là những công cụ lập trình metaprogramming Lean mà đứng sau AxiomProver, giúp nó giành chiến thắng trong cuộc thi Putnam và mở ra các giả thuyết nghiên cứu. Có sẵn cho bất kỳ ai ngay hôm nay!