Freedom251 › HOL Light

Instead of HOL Light

HOL Light alternatives

Apps that do what HOL Light does, from the formal verification tools list, the ones you can start free with first.

1. 1

   cvc5

   Free plan APILinuxMac+3
   7.5 Open source Visit site
2. 2

   F*

   Free plan LinuxMacSelf-hosted+1
   7.5 Open source Visit site
3. 3 A

   ACL2

   Free plan LinuxMacSelf-hosted+1
   7.4 Free plan Visit site
4. 4

   Agda

   Free plan ExtensionLinuxMac+3
   7.4 Open source Visit site
5. 5 H

   HOL4

   Free plan LinuxMacSelf-hosted+1
   7.4 Free plan Visit site
6. 6 I

   Isabelle

   Free plan LinuxMacSelf-hosted+1
   7.4 Free plan Visit site
7. 7

   Lean

   Free plan LinuxMacWeb+1
   7.3 Open source Visit site
8. 8 O

   OpenJML

   Free plan APIExtensionLinux+2
   7.3 Open source Visit site
9. 9 A

   Apalache

   Free plan APILinuxSelf-hosted
   7.2 Open source Visit site
10. 10

    Dafny

    Free plan LinuxMacSelf-hosted+1
    7.2 Free plan Visit site
11. 11 N

    NuSMV

    Free plan LinuxMacWindows
    7.2 Free plan Visit site
12. 12

    Rocq

    Free plan ExtensionLinuxMac+2
    7.2 Free plan Visit site
13. 13 K

    K Framework

    Free plan APILinuxMac+1
    7.1 Free plan Visit site
14. 14 P

    PRISM

    Free plan LinuxMacWindows
    7.1 Free plan Visit site
15. 15 P

    PVS

    Free plan LinuxMacWindows
    7.1 Free plan Visit site
16. 16 F

    Frama-C

    Free plan LinuxMacWindows
    7.0 Free plan Visit site
17. 17 T

    TLA+

    Free plan ExtensionLinuxMac+1
    7.0 Open source Visit site
18. 18 V

    VeriFast

    Free plan ExtensionLinuxMac+1
    7.0 Open source Visit site
19. 19 S

    SPIN

    Free plan LinuxMacWindows
    6.9 Free plan Visit site
20. 20 W

    Why3

    Free plan APILinuxSelf-hosted+2
    6.9 Open source Visit site
21. 21 Z

    Z3

    Free plan AndroidAPILinux+4
    6.9 Free plan Visit site
22. 22 U

    UPPAAL

    Free plan LinuxMacWindows
    6.8 Free plan · pricing on request Visit site
23. 23 S

    Stainless

    Free plan LinuxMacWindows
    6.6 Free plan Visit site
24. 24 U

    Ultimate Automizer

    Free plan LinuxWebWindows
    6.6 Free plan Visit site

← Back to HOL Light The whole formal verification tools list