Closed josd closed 2 years ago
using skolem IRIs in proofs and supporting solid:source in proofs (obs from Jesse Wright)
All committers have signed the CLA.
Thanks @josd
using skolem IRIs in proofs and supporting solid:source in proofs (obs from Jesse Wright)