HOL (proof assistant): Revision history

Jump to navigation Jump to search
Template:FlatlistExternal tools:

Template:Endflatlist

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

14 May 2025

  • curprev 20:0520:05, 14 May 2025 imported>Objective Operator m 7,606 bytes +7,606 1. Corrected incorrect spelling of "license" in header and 2. spelled out "(Logic for Computable Functions)" following the "LCF" acronym in sentence two.
Retrieved from "http://debianws.lexgopc.com/wiki143/index.php?title=HOL_(proof_assistant)"