Core Packages

Core Name Download
open-logic:open-logic:fix:3.3.0 signed
stable release (downloaded from GitHub); Fixed point mathematics see https://gi…
 		.core .sig