Velvet 2.0 released, and Ilya Sergey publishes Vermilion, a Lean backend for Verus · Lean Weekly

Velvet 2.0 released, and Ilya Sergey publishes Vermilion, a Lean backend for Verus