• Ralf Jung's avatar
    Makefile attribution · 68b961a8
    Ralf Jung authored
    I talked with Christian, he is not the original author and forgot where it came
    from, probably some coq-club mail.
    68b961a8
Name
Last commit
Last update
algebra Loading commit data...
barrier Loading commit data...
benchmark Loading commit data...
docs Loading commit data...
heap_lang Loading commit data...
prelude Loading commit data...
program_logic Loading commit data...
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
LICENSE Loading commit data...
Makefile Loading commit data...
README Loading commit data...
_CoqProject Loading commit data...