Experiments for extracting justifications from proofs.
See wiki for more info.
liveontologies/pinpointing-experiments
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Experiments for extracting justifications from proofs.
See wiki for more info.