Grilled Cheese

ExploreLog inSign up
Terms of UsePrivacy PolicyCommunity StandardsHelpGet the app

Grilled Cheese is a product of Village Compute

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

Explore

PostsPeople
LatestRanked
@jalonso.eurosky.socialOct 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.socialSep 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.socialSep 21, 2026, 10:29 AM

Enscryerypt: Encrypt and decrypt files with Scryer Prolog. ~ Markus Triska. youtu.be/60kHy3vDvU8 #Prolog #LogicProgramming