mietek / sf

Mirror of Software Foundations in PDF

http://softwarefoundations.cis.upenn.edu

mietek/sf Issues

Sf
Updated a year ago
Add volume 5
Updated 4 years ago
More exercises section from Induction Chapter doesn't appear on the website version
Closed 4 years ago1
File "./LibTactics.v", line 3187, characters 17-18: Error: Syntax error: ')' expected after [constr:lconstr] (in [tactic:tactic_arg]).
Closed 5 years ago1
Pdf for Version 4.2
Closed 7 years ago2