logic_and_proof icon indicating copy to clipboard operation
logic_and_proof copied to clipboard

Published 20 hours ago • verified publisher icon leanprover

semantics of first order logic: typo

Open JoseBalado opened this issue 3 years ago • 0 comments

Substitute 'transitive' for 'trainsitive'.

JoseBalado avatar Oct 12 '21 13:10 JoseBalado