Isabelle: 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 2024‎ Ai talk contribs‎ 5,520 bytes +127‎ No edit summary
  • curprev 08:2808:28, 14 June 2024‎ Ai talk contribs‎ 5,393 bytes +5,393‎ Created page with "== Introduction == Isabelle is a generic proof assistant, a software tool designed to assist with the development of formal proofs by human-machine collaboration. It is widely used in academia and industry for formal verification of software and hardware, theorem proving, and formalizing mathematical theories. Isabelle supports a variety of logical frameworks, making it a versatile tool for formal reasoning. == History == Isabelle was originally de..."
Retrieved from "https://canonica.ai/page/Isabelle"