Softpedia >Windows >  Applications filed under: proof  (6 items)

Apps filed under: proof

  RSS Feed for this tag 6 applications totalLast updated: Apr 22nd 2024, 21:20 GMT

     
  • 5,988 downloads
  • 101 KB
EYE

EYE 10.3.0

A powerful reasoning system which can be used to build artificial intelligence, with support for s...

Apr 22nd 2024, 21:20 GMT
Windows All
     
  • 767 downloads
  • 26 MB
KeY

KeY 2.10.0

Verify the proof files of Java programs with the help of this straightforward and intuitive piece ...

Dec 24th 2021, 15:40 GMT
Windows All
     
  • 2,038 downloads
  • 7.28 MB
Veodin SlideProof

Veodin SlideProof 4.0.93 / 4.0.100 Frontier

A PowerPoint plugin that can help you identify and correct multiple flaws in your slideshow presen...

Oct 18th 2018, 12:41 GMT
Windows 10 64 bit / Windows 10 / Windows 8 64 bit / Windows 8 / Windows 7 64 bit / Windows 7
     
  • 1,244 downloads
  • 889 KB
ProofTools

ProofTools 0.5 Beta

A cross-platform application designed to help you demonstrate logical expressions by generating pr...

Oct 18th 2014, 06:57 GMT
Windows All
     
  • 2,227 downloads
  • 104 MB
Serendipity Blackmagic

Serendipity Blackmagic 5.4.03

Serendipity Blackmagic - instantly create contract quality proofs from any RIP on any printer with...

Aug 11th 2014, 02:11 GMT
Windows All
     
  • 1,051 downloads
  • 10.3 MB
JGEX

JGEX

Geometry expert built using Java

Nov 22nd 2011, 02:15 GMT
Windows All