Explore Log in Sign up

Terms of Use Privacy Policy Community Standards Help Get the app

Grilled Cheese is a product of Village Compute

Version devBuilt at: 2026-10-10 01:38:52 EDT

Explore

@esdin.net Oct 7, 2026, 4:19 AM

Bits & Bops wins for Excellence in Accessibility! #GCAP #AGDA

Bits and Bops team on stage at the AGDAs

@jalonso.eurosky.social Oct 5, 2026, 11:02 AM

Weekly reads: Sep 28 – Oct 4, 2026. jaalonso.github.io/vestigium/po... #AI4Math #Agda #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Math #Prolog #RocqProver

@jalonso.eurosky.social Sep 28, 2026, 7:06 AM

Readings shared: 21-27 September, 2026. jaalonso.github.io/vestigium/po... #AI4Maht #Agda #ITP #IsabelleHOL #LeanProver #LogicProgramming #Math #Prolog #RocqProver

@jalonso.eurosky.social Sep 25, 2026, 7:40 AM

A mechanized formalization of MicroKanren in Agda- ~ Eduardo Henke, Rodrigo Ribeiro. cbsoft.sbc.org.br/2026/data/pa... #Agda #ITP