Commits · 445d1d44360c5eea5092788dc3f88d7cd0f934ac · veriT / Alethe

Jan 27, 2024
- Fix some typos · 445d1d44
  Hans-Jörg authored 1 year ago
  
  445d1d44
- Add @cl to theory (and fix a typo there) · 184ea87c
  Hans-Jörg authored 1 year ago
  
  This also renames cl to @cl to avoid name clashes.
  184ea87c
Jan 26, 2024
- Add remaining check_.. funs · e01fa661
  Hans-Jörg authored 1 year ago
  
  e01fa661
- Add more check placeholders · a1ae1c83
  Hans-Jörg authored 1 year ago
  
  a1ae1c83
- Fix parantheses in clause args · ef78c662
  Hans-Jörg authored 1 year ago
  
  ef78c662
Jan 25, 2024
- A bit more · 6ee5d456
  Hans-Jörg authored 1 year ago
  
  6ee5d456
Jan 23, 2024
- Add more helpers · 85a59bcf
  Hans-Jörg authored 1 year ago
  
  85a59bcf
Jan 20, 2024
- Add some trust side conditions · 019627e6
  Hans-Jörg authored 1 year ago
  
  019627e6
Jan 19, 2024
- Fix comments · 4faed696
  Hans-Jörg authored 1 year ago
  
  4faed696
- Add theory file · 34a20cd9
  Hans-Jörg authored 1 year ago
  
  34a20cd9
- Kill match-conclusion · 248ba52c
  Hans-Jörg authored 1 year ago
  
  248ba52c
- Add resolution · d2313575
  Hans-Jörg authored 1 year ago
  
  d2313575
Jan 18, 2024
- More fixes · ddb26294
  Hans-Jörg authored 1 year ago
  
  ddb26294
- Wrap in cl when needed · 7e8d9426
  Hans-Jörg authored 1 year ago
  
  7e8d9426
- More rules · 12a14800
  Hans-Jörg authored 1 year ago
  
  12a14800
- More context specific rule skeletons · f0de3ce5
  Hans-Jörg authored 1 year ago
  
  f0de3ce5
Jan 10, 2024
- Start defining contexts · 0c8d4fb3
  Hans-Jörg authored 1 year ago
  
  0c8d4fb3
- Add remaining simple sceletons · d8008d63
  Hans-Jörg authored 1 year ago
  
  d8008d63
- Add simplify sceletons · f7d5dd68
  Hans-Jörg authored 1 year ago
  
  f7d5dd68
Jan 08, 2024
- More simple rules · 94edabdf
  Hans-Jörg authored 1 year ago
  
  94edabdf
Jan 05, 2024
- Add more rules · 8cc04c44
  Hans-Jörg authored 1 year ago
  
  8cc04c44
Dec 29, 2023
- Add initial rules and README · 5c9497d0
  Hans-Jörg authored 1 year ago
  
  5c9497d0
Dec 28, 2023
- Merge branch 'devel/fix-fonts' into 'master' · 64ebfc71
  Hans-Jörg authored 1 year ago
  
  Fix CI error See merge request !3
  64ebfc71
- Fix CI error · 0549b872
  Hans-Jörg authored 1 year ago
  
  0549b872
Dec 21, 2023
- Allow extra annotations · bfb354c8
  Hans-Jörg authored 1 year ago
  
  bfb354c8
Jul 20, 2023
- fix `false` rule (as Hanna reported) · 209e2c6c
  Haniel Barbosa authored 1 year ago
  
  209e2c6c
May 13, 2023
- Fix parantheses · 3b631d3e
  Hans-Jörg authored 2 years ago
  
  3b631d3e
Feb 17, 2023
- Post specification on gitlab pages · b5ac6b52
  Hans-Jörg Schurr authored 2 years ago
  
  b5ac6b52
- Set 0.3 release date to today · 604ec90f
  Hans-Jörg Schurr authored 2 years ago
  
  604ec90f
Feb 10, 2023
- Filter publications database to the entries we use · 8cf7e907
  Hans-Jörg Schurr authored 2 years ago
  
  8cf7e907
- CI related tweaks · 249d8378
  Hans-Jörg Schurr authored 2 years ago
  
  249d8378
- Fix syntax highliging for new minted versions · 5d255551
  Hans-Jörg Schurr authored 2 years ago
  
  5d255551
- More edits · bab61d95
  Hans-Jörg Schurr authored 2 years ago
  
  - adress normalizing of terms with context push (and other typos) - Remark on missing Gamma
  bab61d95
- Clarify role of alpha-equivalence when checking the context · 2c28f6f3
  Hans-Jörg Schurr authored 2 years ago
  
  2c28f6f3
- Fix typos in changelog · 18324875
  Hans-Jörg Schurr authored 2 years ago
  
  18324875
- Add language about capture-avoiding · 99d28a75
  Hans-Jörg Schurr authored 2 years ago
  
  99d28a75
- Apply more review suggestions · 7982cf97
  Haniel Barbosa authored 2 years ago
  
  7982cf97
- Remove trailing whitespaces · 9dab69e5
  Hans-Jörg Schurr authored 2 years ago
  
  9dab69e5
- Apply textual and typographic improvements · 9753d4b7
  Hans-Jörg Schurr authored 2 years ago
  
  - replace semantic by semantics - apply some review suggestions
  9753d4b7
- Activate Synctex when compiling the document · ef4f3958
  Haniel Barbosa authored 2 years ago
  
  ef4f3958