LAUNCH · SIGNAL STARTUP
Show HN: A lean formalization of From Linearity to Borrowing
This is a full mechanization of the From Linearity to Borrowing paper in Lean https://dl.acm.org/doi/10.1145/3764117The work was almost entirely done by Claude over the course of…
出典・元記事Hacker News — Show HNhttps://github.com/empath-nirvana/bolo-formalization 配信元で続きを読む◆ SOURCE POLICY
公開RSS・Atomから取得した短い概要のみを表示しています。詳細は必ず配信元の記事で確認してください。
公開RSS・Atomから取得した短い概要のみを表示しています。詳細は必ず配信元の記事で確認してください。
SHARE STARTUP