Join Slack

<https://gitlab.com/joaopizani/paper-gate-refinement/-/blob/23f2b9dacafe10f0db085a874cfc13d60703f924...

# general

Art Scott

02/01/2023, 3:15 PM

https://gitlab.com/joaopizani/paper-gate-refinement/-/blob/23f2b9dacafe10f0db085a874cfc13d60703f924/main.pdf Agda DSL

Open in Slack

Previous Next

What is Linen?

Linen is a search-engine friendly community platform. We offer integrations with existing Slack/Discord communities and make those conversations Google-searchable.