Welcome to ProofAtlas Discussions!

[Xinze-Li-Moqian]

This is the ProofAtlas discussion space.

• Q&A — questions about using ProofAtlas, installation, commands, errors.
• Ideas — new mappings, new metrics, new directions you'd like to see.
• Show and tell — profiles you've generated, interesting findings, projects built on top.

For bug reports and feature requests, use Issues instead.

New contributors: see good first issues.