Komari

搜索

body .site-nav .site-menu, body .site-nav [data-theme-toggle] { display: none; } @media(max-width:960px) { body .site-nav { position: relative; flex-wrap: wrap; } body .site-nav .home-site-nav { display: flex; flex-wrap: wrap; order: 4; width: 100%; justify-content: space-between; gap: .5rem; } body .site-nav .home-site-nav a:last-child { display: flex; } body[data-shell-variant="standard"] .main-area { padding-top: 0; } }

Indexed transmission

Lean4 and Formal Verification

Received: 2026/07/24
Collection: technical_talk
Read: 1 分钟

Signal taxonomy 数据科学数学定理证明