aya-prover aya-dev Ideas · Discussions · GitHub

How to get this type checked?
Q&A refparo

Sort by: Latest activity

Categories

Ideas Discussions

Share ideas for new features

You must be logged in to vote

Recent roadmap (2)
feature
ice1000 started Feb 13, 2023 in Ideas

0
You must be logged in to vote

Recent roadmap
feature
ice1000 started Mar 30, 2022 in Ideas · Closed

2
You must be logged in to vote

Next possible steps for the MetaAya project...
lsp performance tactic metaprogramming
lunalunaa started Apr 11, 2022 in Ideas

1