#

proof-assistants

Here is 1 public repository matching this topic...

punctilious

daviddoret / punctilious

A human-friendly and developer-friendly math proof assistant

math proof mathematics proof-assistant formal-methods proof-assistants formal-system

Updated Mar 11, 2025
Python

Improve this page

Add a description, image, and links to the proof-assistants topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the proof-assistants topic, visit your repo's landing page and select "manage topics."