agdapad.quasicoherent.io/~Padova2025
Preview meta tags from the agdapad.quasicoherent.io website.
Linked Hostnames
6- 1 link toconferences.cirm-math.fr
- 1 link tolets-play-agda.quasicoherent.io
- 1 link towww.andreipopescu.uk
- 1 link towww.antwerp-logic-adventures.be
- 1 link towww.mathematik.uni-muenchen.de
- 1 link towww.speicherleck.de
General Meta Tags
3- titleAgda in Padova 2025
- content-typetext/html; charset=UTF-8
- viewportinitial-scale=1
Link Tags
1- icondata:image/svg+xml,<svg xmlns=%22http://www.w3.org/2000/svg%22 viewBox=%220 0 100 100%22><text y=%22.9em%22 font-size=%2290%22>🧮</text></svg>
Links
6- https://conferences.cirm-math.fr/3377.html
- https://lets-play-agda.quasicoherent.io
- https://www.andreipopescu.uk/MGS_Sheffield/MGS2025.html
- https://www.antwerp-logic-adventures.be/agda/5-references.html
- https://www.mathematik.uni-muenchen.de/~schwicht/pc25.php