Skip to content

v22.0814.1056

v22.0814.1056: using skolem IRIs in proofs and supporting solid:source in proofs (ob…
@josd josd tagged this 14 Aug 10:57 
…s from Jesse Wright)
Assets 2