Explore projects

T

imitator / papers / TACAS21
GNU General Public License v3.0 only

scripts for the TACAS 21 paper experiments

0

Updated Dec 22, 2020

0 0 0 0

Updated Dec 22, 2020
C

Thomas Rubiano / CompcertMWP
GNU General Public License v2.0 or later

0

Updated Nov 24, 2021

0 0 0 1

Updated Nov 24, 2021
N

Micaela Mayero / Numerical Analysis in Coq
Other

Formal Developments and Proofs in Coq of Numerical Analysis Problems.

0

Updated Dec 21, 2024

0 1 0 0

Updated Dec 21, 2024
J

David Hamelin / jscoq-light
Creative Commons Attribution 2.5 Generic

0

Updated Nov 11, 2024

0 1 2 0

Updated Nov 11, 2024
T

David Hamelin / Test CI - Coq Num Analysis
Other

Fork of the Coq Num Analysis library to test Continuous Integration

0

Updated May 23, 2024

0 0 0 1

Updated May 23, 2024
J

Pierre Rousselin / jscoq-light
Creative Commons Attribution 2.5 Generic

0

Updated Nov 11, 2024

0 0 0 0

Updated Nov 11, 2024