123
플랫폼
Windows
Mac
Linux
Chrome OS
Android
iPhone
Windows Phone
Blackberry
Blackberry 10
Apple Watch
Android Wear
Pebble
iPad
Android Tablet
Kindle Fire
PlayBook
Self-Hosted
Chrome
Firefox
Opera
Safari
Internet Explorer
Chromium
Vivaldi Browser
Yandex.Browser
SeaMonkey
Oculus Rift
HTC Vive
Daydream
Gear VR
OSVR
Playstation VR
Xbox
Playstation
Nintendo Switch
Apple TV
Fire TV
Chromecast
Roku
PHP
JavaScript
Python
Node.JS
.NET Framework
Microsoft Visual Studio
jQuery
Eclipse
GitHub
BSD
Windows Mobile
Java Mobile
S60
Xfce
Haiku
HP webOS
AmigaOS
MorphOS
AROS
Steam
Wordpress
PortableApps.com
Magento Community Edition
Wine
Facebook
Java
Slack
Microsoft Office Outlook
Raspberry Pi
iOS
Shopify
Windows Explorer
FreeBSD
Microsoft Office Excel
Docker
범주
사무실 및 생산성
개발
계략
소셜 및 커뮤니케이션
비즈니스 및 상업
OS 및 유틸리티
사진 및 그래픽
교육 및 참고 자료
보안 및 개인 정보
비디오 및 영화
오디오 및 음악
온라인 서비스
네트워크 및 관리자
뉴스 및 도서
파일 공유
웹 브라우저
백업 및 동기화
여행 및 위치
파일 관리
스포츠 및 건강
가정 및 가족
비트 코인 및 암호 화폐
시스템 및 하드웨어
게임 소프트웨어
CD / DVD 도구
KO
AR
BG
CS
DA
DE
ES
FA
FR
HR
JA
MS
PL
PT
SK
SL
SV
TR
ZH
4
Coq
Coq는 교정 지원으로, 엄격하고 공식적인 방법으로 수학 교정을 작성하고 컴퓨터에서 정확성을 검사 할 수 있습니다.
무료 앱
Windows
Mac
Linux
Coq는 교정 지원으로, 엄격하고 공식적인 방법으로 수학 교정을 작성하고 컴퓨터에서 정확성을 검사 할 수 있습니다.또한 코드의 정확성과 종속 유형을 사용하여 프로그래밍 할 수 있습니다.
웹 사이트:
https://coq.inria.fr/
카테고리
교육 및 참고 자료
라이센스가있는 모든 플랫폼에서 Coq를 대체
모든 플랫폼
모든 플랫폼
Windows
Mac
Linux
Web
모든 라이센스
모든 라이센스
무료 라이센스
오픈 소스 라이센스
상용 라이센스
3
F*
F *는 프로그램 검증을 목표로하는 ML 유사 기능 프로그래밍 언어입니다.F *는 기능적 정확성 특성을 포함하여 프로그램에 대한 정확한 사양을 표현할 수 있습니다.F *로 작성된 프로그램은 실행을 위해 OCaml 또는 F #으로 변환 될 수 있습니다.
무료 앱
Web
Windows
Mac
Linux
3
Isabelle
Isabelle은 컴퓨터로 수학 증거를 작성하고 확인하는 증거 조수입니다.
무료 앱
Windows
Mac
Linux
2
Agda
Agda는 종속적으로 유형이 지정된 기능 프로그래밍 언어입니다.그것은 유도 된 패밀리, 즉 주어진 길이의 벡터의 유형과 같은 값에 의존하는 데이터 유형을 가지고 있습니다.
무료 앱
Windows
Mac
Linux