aya-prover aya-dev Show And Tell · Discussions · GitHub

How to get this type checked?
Q&A refparo

Sort by: Latest activity

Categories

Show and tell Discussions

Show off something you've made

You must be logged in to vote

Thank you for your work! I finally proved this simple sentence

refparo started Sep 10, 2021 in Show and tell

9