History of
eg
@master
git clone https://git.catseye.tc/Ebfer/
- Add some notes to README and to assume-discharge example. Chris Pressey 3 months ago
- Add a sketch of how we might accomplish proof by cases. Chris Pressey 3 months ago
- Improve signature of this example function we keep using. Chris Pressey 3 months ago
- Add example of *possibly* writing proof conditional on assumptions. Chris Pressey 3 months ago
- Follow more consistent naming convention, op-property-side. Chris Pressey 4 months ago
- Step towards Ebfer being something that embeds Lome. Chris Pressey 4 months ago
- Implement flags and parse functions. Chris Pressey 1 year, 2 months ago
- Rename example development. Chris Pressey 1 year, 2 months ago
- Add failing test case. Define dedicated Error subclass for use. Chris Pressey 1 year, 2 months ago
- Add debugging flag. Pinpoint where rule parameter support needed. Chris Pressey 1 year, 2 months ago
- Small fixes to the example proofs. Chris Pressey 1 year, 2 months ago
- Rename def -> rule Chris Pressey 1 year, 2 months ago
- Add test for catching invalid proof. Fix bug in parser. Chris Pressey 1 year, 2 months ago
- Another small step. Chris Pressey 1 year, 2 months ago