Announcing hax 0.4, a pivotal release
The world of mathematics has been shaken by an earthquake: LLMs can now generate large Lean developments autonomously: Navier-Stokes solution, FLT proof, and many more. The narrow stream of proof-work …
The first release of the HACL Packages, bundling the HACL C library and updated hacl-star OCaml bindings with new documentation.
Today, we announce the first release of the HACL Packages libraries. 🎉 This release of HACL packages includes the first release of the HACL C library and a new release of the hacl-star OCaml …
