search

nomeata / incredible

The Incredible Proof Machine
MIT License
360 stars 36 forks source link

Add proofs for quantifier identities #74

Closed michaelgwelch closed 8 years ago

michaelgwelch commented 8 years ago

I think these are good practice before tackling the final proof of Session 6. Plus the second one can be used in the final proof.

Note: I haven't built locally yet to test that I don't have a typo. I'll do as soon as I can. I have some environment setup I need to do before I can build. Notably I don't have ghcjs installed.

michaelgwelch commented 8 years ago

Hmm, travis didn't like this. Perhaps I did make a typo. I'm setting up my machine to run build locally.

nomeata commented 8 years ago

No, that’s a problem with master (a site from where we pull JS library changed its URLs). I just pushed a fix (0428941). If that goes through on travis, then please your branch onto master, so that it is properly checked. Sorry for the nuisance.

michaelgwelch commented 8 years ago

Will open up a new PR with rebased commit

nomeata commented 8 years ago

You could have simply pushed your branch and it would have updated the PR. But a new one is fine as well.

michaelgwelch commented 8 years ago

Ah yes, of course.