Develop a common proof format and export proofs#458
Draft
Develop a common proof format and export proofs#458
Commits
This pull request is big! We're only showing the most recent 250 commits
Commits on Feb 20, 2025
Commits on Mar 5, 2025
Commits on Mar 6, 2025
Commits on Mar 11, 2025
Commits on Mar 12, 2025
Commits on Mar 14, 2025
Commits on Mar 16, 2025
Commits on Mar 17, 2025
- committed
- committed
- committed
Commits on Mar 19, 2025
Commits on Mar 20, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Mar 21, 2025
- committed
- committed
- committed
- committed
- committed
Commits on Mar 23, 2025
- committed
- committed
- committed
- committed
- committed
Commits on Mar 24, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Mar 25, 2025
- committed
- committed
- committed
Commits on Mar 28, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Mar 29, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Mar 30, 2025
Commits on Apr 1, 2025
- committed
- committed
- committed
- committed
- committed
Commits on Apr 6, 2025
- committed
Commits on Apr 7, 2025
- committed
- committed
- committed
Commits on Apr 11, 2025
Commits on Apr 21, 2025
- committed
- committed
- committed
- committed
- committed
- committed
Commits on May 2, 2025
- committed
- committed
- committed
- committed
- committed
- authored
- authored
- committed
- committed
- committed
Commits on May 3, 2025
- committed
Commits on May 7, 2025
Commits on May 15, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on May 16, 2025
- committed
- committed
- committed
- committed
- committed
Commits on May 17, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on May 20, 2025
Commits on May 21, 2025
Commits on May 24, 2025
Commits on May 26, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jun 16, 2025
Commits on Jun 23, 2025
Commits on Jun 24, 2025
Commits on Aug 4, 2025
Commits on Aug 11, 2025
Commits on Aug 20, 2025
Commits on Aug 21, 2025
Commits on Sep 1, 2025
Commits on Oct 27, 2025
Commits on Oct 29, 2025
Commits on Nov 3, 2025
- committed
- committed
- committed
- committed
- committed
Commits on Nov 21, 2025
- committed
- committed
Commits on Nov 23, 2025
- committed
Commits on Nov 28, 2025
- committed
- committed
Commits on Dec 1, 2025
- committed
Commits on Dec 4, 2025
- committed
- committed
- committed
- committed
- committed
Commits on Dec 5, 2025
- committed
- committed
Commits on Dec 6, 2025
Commits on Dec 10, 2025
- committed
- committed
Commits on Dec 12, 2025
- committed
- committed
- committed
- committed
Commits on Dec 17, 2025
- committed
- committed
- committed
- committed
Commits on Dec 18, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 19, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 20, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jan 10, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed