FlocqLecture

7 stars

3 watching

1 forks

Language: Coq

last commit: over 1 year ago

Linked from 1 awesome list

coq-formalizationfloating-pointieee-754lecture

Backlinks from these awesome lists:

coq-community/awesome-coq