{"type":"link","version":"1.0","title":"Ansatz 是一个基于归纳构造演算（… · Dependently typed… | HotDaily","description":"Ansatz 是一个基于归纳构造演算（CIC）的 Clojure 验证编程库，在 Java 中实现了与 Lean 4 兼容的内核。它允许开发者用…","url":"https://hotdaily.top/item/112a5efc-7821-43d3-84ff-64dda49a7adb","provider_name":"HotDaily","provider_url":"https://hotdaily.top","thumbnail_url":"https://hotdaily.top/og.png","thumbnail_width":1200,"thumbnail_height":630}