Commits · b1ec9b57b1018838e867e36f449baae9babad762 · veriT / Alethe

Nov 29, 2021
- fixing compilation · b1ec9b57
  Haniel Barbosa authored 3 years ago
  
  b1ec9b57
Aug 26, 2021
- Start restructuring differentiating between language and rules · 2d446842
  Hans-Jörg authored 3 years ago
  
  2d446842
Aug 07, 2021
- Rename section on semantic · 9e6d240c
  Hans-Jörg authored 3 years ago
  
  9e6d240c
Jul 30, 2021
- Fix choice grammar, and refactor grammar while we're at it · 855d4a4f
  Hans-Jörg authored 3 years ago
  
  855d4a4f
Jul 16, 2021
- Improve some thing related to linear arithmetic · b95aa62b
  Hans-Jörg authored 3 years ago
  
  b95aa62b
Jul 15, 2021
- Take some feedback by PF into account · 8847423f
  Hans-Jörg authored 3 years ago
  
  8847423f
- Remove ugly \formatname macro, Alethe is now established · 08734cb4
  Hans-Jörg authored 3 years ago
  
  08734cb4
Jul 10, 2021
- Fix accidentally repeated proof list · eb22c9d6
  Hans-Jörg authored 3 years ago
  
  0.1
  
  eb22c9d6
- Add changelog and tweak in preparation of PxTP · 14a4af0b
  Hans-Jörg authored 3 years ago
  
  14a4af0b
- Remove things accidentally merged · 41879116
  Hans-Jörg authored 3 years ago
  
  41879116
- Add the extended abstract from PxTP · 5b26c816
  Hans-Jörg authored 3 years ago
  
  5b26c816
Jul 09, 2021
- fix definition · 3f0e77aa
  Haniel Barbosa authored 3 years ago
  
  Caught by Bruno
  3f0e77aa
Jun 23, 2021
- fixing sko_ex (bad formatting though) · 33062cbd
  Haniel Barbosa authored 3 years ago
  
  33062cbd
- adding forall equiv rule · 40654301
  Haniel Barbosa authored 3 years ago
  
  40654301
Jun 02, 2021
- Add comment on subproof-printing structure · 0c6f88dc
  Hans-Jörg authored 3 years ago
  
  0c6f88dc
- Add comment to anchor sort comment by HB · 0696130d
  Hans-Jörg authored 3 years ago
  
  0696130d
May 31, 2021
- Reorder some rules, add remark to the `assume` rule · 4635ceb3
  Hans-Jörg authored 3 years ago
  
  4635ceb3
- Remove classification from proof list · a9f87b06
  Hans-Jörg authored 3 years ago
  
  a9f87b06
- Complete rule tables · aa9c7204
  Hans-Jörg authored 3 years ago
  
  aa9c7204
- Change format of rule reference and describe · cee937ea
  Hans-Jörg authored 3 years ago
  
  cee937ea
- Change default specification compilation to show comments · c02cd96b
  Hans-Jörg authored 3 years ago
  
  c02cd96b
May 28, 2021
- comment about anchor variable arguments · 08e6374a
  Haniel Barbosa authored 3 years ago
  
  08e6374a
May 27, 2021
- replace todo by comment · c151fd64
  Mathias Fleury authored 3 years ago
  
  c151fd64
May 26, 2021
- More various fixes and comments · af7aceab
  Fontaine Pascal authored 3 years ago
  
  af7aceab
- More various fixes and comments · af9d161e
  Fontaine Pascal authored 3 years ago
  
  af9d161e
May 25, 2021
- Add la rules table · c7b3c223
  Hans-Jörg authored 3 years ago
  
  c7b3c223
- Address some comments · 2e97703e
  Hans-Jörg authored 3 years ago
  
  2e97703e
- Fix \begin{Remark} -> paragraph · 679465d4
  Hans-Jörg authored 3 years ago
  
  679465d4
- Add table of tautological rules, some cleanup · 4078e754
  Hans-Jörg authored 3 years ago
  
  4078e754
- Various fixes and comments · 6769379d
  Fontaine Pascal authored 3 years ago
  
  6769379d
May 24, 2021
- Dot number proof rule sections · 12786df1
  Hans-Jörg authored 3 years ago
  
  12786df1
- Start classifcation tables · fc43b52e
  Hans-Jörg authored 3 years ago
  
  fc43b52e
- Remove core concepts todo · 47b2e7ae
  Hans-Jörg authored 3 years ago
  
  47b2e7ae
- Expend definition of substitution · daa39428
  Hans-Jörg authored 3 years ago
  
  daa39428
- Small improvements · 71d96b89
  Hans-Jörg authored 3 years ago
  
  71d96b89
May 10, 2021
- subproof and export of last step · 6e7acf34
  Mathias Fleury authored 3 years ago
  
  6e7acf34
May 08, 2021
- fixed some typos · 9c32aa58
  Lachnitt authored 3 years ago
  
  9c32aa58
Apr 28, 2021
- Clarify step index and subproofs · c7bcf5c7
  Hans-Jörg authored 4 years ago
  
  c7bcf5c7
Apr 26, 2021
- Add subproof concept description · df403a4e
  Hans-Jörg authored 4 years ago
  
  df403a4e
- Restructure sections · a6a64807
  Hans-Jörg authored 4 years ago
  
  - Move things back to core concepts - Add paragraphs theire for subproofs etc.
  a6a64807