Selected Software by Aaron Stump and Collaborators

Some large LF proofs: large_lf_proofs.tgz (5.5 MB).