[Agda] any known proof of ⊥ that does not syntactically use ∞ ?

Vlad Rusu vlad.rusu at inria.fr
Fri Oct 23 11:25:35 CEST 2020

Previous message (by thread): [Agda] any known proof of ⊥ that does not syntactically use ∞ ?
Next message (by thread): [Agda] F-IDE 2021 - Call for Papers
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20201023/cee71671/attachment.html>

Previous message (by thread): [Agda] any known proof of ⊥ that does not syntactically use ∞ ?
Next message (by thread): [Agda] F-IDE 2021 - Call for Papers
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list