HOL Interactive Theorem Prover

https://hol-theorem-prover.org/

HOL Interactive Theorem Prover Latest : Trindemossen-2 released (see release notes for details). About Download and Install Tutorial and Documentation Community About What is HOL?

Femtosecond laser products from Del Mar Photonics

http://delmarphotonics.com/index.htm

Del Mar Photonics, Inc. is an established manufacturer and system integrator of advanced photonics products for scientific and industrial applications. Product portfolio includes

Göthel Software - Home (en)

https://jausoft.com/

Göthel Software Home Articles Team / CVs Bugzilla Git Repository Legal Projects Gamp gfxbox2 jaulib Direct-BT Cipherpack Gentech personal Welcome to Göthel Software We offer

Find more...