Categories: Developer Tools, Quality Assurance and Testing Software
HOL 7
HOL short from Higher Order Logic is a programming environment in which theorems can be proved and proof tools implemented.Built-in decision procedures and theorem provers can automatically establish many simple theorems. An oracle mechanism gives access...
Last Viewed Software
Asp.Net OsCommerce Free Edition 23 Sep 15
-
Intel Parallel Studio XE 2015 Composer Edition for Linux 21 Nov 14
dbForge SQL Complete Express 27 Apr 17
BeKey Virtual (On-screen) Keyboard 21 Nov 14
-
Bokai Barcode Image Generator .Net Control 29 Oct 15
Map Suite MVC Edition 26 Jan 15
VSQL++ for SQLite 9 Dec 14
DBSync for FoxPro and SQLite 22 Jan 15
-
eMailGPS 2016 GeoLocation Add-In for Microsoft Outlook 21 May 16
Keypress 28 Sep 15