aya-prover aya-dev Q A · Discussions · GitHub

How to get this type checked?
Q&A refparo

Sort by: Latest activity

Categories

Q&A Discussions

Ask the community for help

You must be logged in to vote

Any tutorial for beginners?
question Further information is requested
nobodxbodon asked Oct 6, 2021 in Q&A · Answered

7
You must be logged in to vote

missing name-not-defined error?

nobodxbodon asked Oct 19, 2021 in Q&A · Closed · Answered

19
You must be logged in to vote

Naive question about unknown-var test case

nobodxbodon asked Oct 9, 2021 in Q&A · Closed · Answered

13
You must be logged in to vote

How to get this type checked?
bug Something isn't working
refparo asked Aug 29, 2021 in Q&A · Closed · Answered

2