diff options
| author | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-06-25 00:06:14 +0200 |
|---|---|---|
| committer | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-06-25 00:06:14 +0200 |
| commit | c19415b970d502d662eb10c403728fa41cdbe03e (patch) | |
| tree | cfa9ce66b116403f871a3b424d2bbffba045b0d8 /test/golden/proofassume/glossing.golden | |
| parent | 44d4c1c50ba6e0f12a2f4fdd204b315a15e434db (diff) | |
[Stable] Implented continuous.tex and omitted some proves
All changes till here are done such that the check of everything.tex will be a success. There are no logic flaws and false can't be proven with everything out of everthing.tex
Diffstat (limited to 'test/golden/proofassume/glossing.golden')
0 files changed, 0 insertions, 0 deletions