fedi.matsuu.org

Lean言語を用いたコードゴルフだ。わいわい
---
zkGolf: golf zero-knowledge circuits, verified in Lean
https://zk.golf/
#bookmarks