aya-prover aya-dev General · Discussions · GitHub

How to get this type checked?
Q&A refparo

Sort by: Latest activity

Categories

General Discussions

Chat about anything and everything here

You must be logged in to vote

Documenting on how to set up this project on Intellij IDEA?

mio-19 started Aug 5, 2024 in General · Closed

5
You must be logged in to vote

Pattern matching is limited by overlapping patterns

refparo started Oct 19, 2021 in General · Closed

3