A walk through an F* proof #1 Post by praxis23 » Tue, Oct 31, 2017, 12:06 PM UTC A walk through an F* proofgist.github.com