You need to sign in or sign up before continuing.×
Loading Program Verification #1: The sum of an arithmetic progression
6 kyu
Loading Program Verification #1: The sum of an arithmetic progression
6 kyu
Program Verification #1: The sum of an arithmetic progression
25 of 213monadius
-
Language
- Agda (Beta)
- Coq
- Idris (Beta)
- Lean
-
Language Version
