DMCA

Experience report: Mechanizing Core F � using the locally nameless approach (extended abstract)

by Benoît Montagu