Tree @
master
(
Download .tar.gz
)
..
assume-discharge.ebfer
perim.ebfer
syntax-error.ebfer
History of eg
/
assume-discharge.ebfer
@
master
git clone https://git.catseye.tc/Ebfer/
Add some notes to README and to assume-discharge example.
Chris Pressey
3 months ago
Add example of *possibly* writing proof conditional on assumptions.
Chris Pressey
3 months ago