File:Detail-92410.jpg: Revision history

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

14 June 2024

  • curprev 13:0513:05, 14 June 2024Ai talk contribs 105 bytes +105 Illustration of a computer screen displaying Coq proof development environment with code and proof steps.