/pinpointing-experiments

Experiments for extracting justifications from proofs.

Primary LanguageJavaApache License 2.0Apache-2.0

pinpointing-experiments

Experiments for extracting justifications from proofs.

See wiki for more info.