Isabelle

Isabelle

Isabelle je pomočnica pri pisanju in preverjanju matematičnih dokazov po računalniku.
Isabelle je pomočnica pri pisanju in preverjanju matematičnih dokazov po računalniku.Omogoča izražanje matematičnih formul v formalnem jeziku in ponuja orodja za dokazovanje teh formul v logičnem izračunu.
isabelle

Spletna stran:

Kategorije

Alternativa Isabelleu za Web

F*

F*

F * je ML podoben funkcionalni programski jezik, namenjen preverjanju programa.F * lahko izrazi natančne specifikacije za programe, vključno z lastnostmi funkcionalne korektnosti.Programe, napisane v F *, lahko za izvedbo prevedemo v OCaml ali F #.