Back to Browse

Organising large proofs: techniques, tools, and future

102 views
Jan 17, 2026
1:07:11

By Georges Gonthier — Inria

Download

0 formats

No download links available.

Organising large proofs: techniques, tools, and future | NatokHD