Posts tagged with agda

Apr 21, 2023Formally proving true ≢ false in cubical Agda