cdf-program-logics icon indicating copy to clipboard operation
cdf-program-logics copied to clipboard

verified publisher icon xavierleroy
→

Metadata

Companion Coq development for Xavier Leroy's 2021 lectures on program logics

Results 0 cdf-program-logics issues
Sort by recently updated
recently updated
newest added

← Metadata

34
Stars
5
Forks
Watchers

Owner

verified publisher icon xavierleroy

Metadata

Companion Coq development for Xavier Leroy's 2021 lectures on program logics

Back