Skip to content
GitLab
Explore
Sign in
Raphaël Cauderlier
math_transfer
Repository
math_transfer
example
logic
hol_to_coq.dk
Find file
Blame
History
Permalink
Final theorem (correctness of the Sieve of Eratosthenes)
· b5fe2f1b
Raphael Cauderlier
authored
Apr 15, 2017
b5fe2f1b