Commits · master · Raphaël Cauderlier / dktransfer · GitLab

Snippets Groups Projects

Feb 02, 2018
- Update to dktactics v0.3 · 1783e06a
  Raphael Cauderlier authored 7 years ago
  
  1783e06a
- Sync with the transfer tactic defined in MathTransfer · c1d4460a
  Raphael Cauderlier authored 7 years ago
```
Dktransfer should be a dependency of MathTransfer
```
  c1d4460a
- Old stuff · e7a3aeed
  Raphael Cauderlier authored 7 years ago
  
  e7a3aeed
Mar 16, 2017
- Track transfer.dk instead of the generated file transfer_def.dk · fe3b44de
  Raphael Cauderlier authored 8 years ago
  
  fe3b44de
- Extend the example to transfer of transitivity of ordering · da3d1d27
  Raphael Cauderlier authored 8 years ago
  
  da3d1d27
- Add an example: transfer of commutativity · 273808e1
  Raphael Cauderlier authored 8 years ago
  
  273808e1
- Transfers for first-order logic based on dktactics · a8a42ff0
  Raphael Cauderlier authored 8 years ago
  
  a8a42ff0