Publications

General Probability in Coq

• • Avraham Shinnar
  • Barry Trager
• 2022
• DSN 2022