Isabelle

Isabelle je pomoćnica u pisanju i provjeri matematičkih dokaza pomoću računala.

Besplatna
Windows
Mac
Linux

Isabelle je pomoćnica u pisanju i provjeri matematičkih dokaza pomoću računala.To omogućava da se matematičke formule izraze na formalnom jeziku i pruža alate za dokazivanje tih formula u logičkoj računici.

isabelle

Web stranica:

http://www.cl.cam.ac.uk/research/hvg/Isabelle/

Kategorije

Obrazovanje i referenca

Alternativa Isabelleu za Web

F*

F * je funkcionalni programski jezik sličan ML-u usmjeren na provjeru programa.F * može izraziti precizne specifikacije za programe, uključujući svojstva funkcionalne ispravnosti.Programi napisani na F * mogu se prevesti u OCaml ili F # za izvršenje.

Besplatna
Web
Windows
Mac
Linux