语言/国家：
类似的网站 Zermelo.Dcs.Ed.Ac.Uk
Proof General
描述: Proof General is an Emacs based generic interface for theorem provers
热门搜索： zermelo dcs ed ac
网站评级:
3.0 / 5.0, 审阅 Sites Like Search
语: English
网站主题: math
Homepage of the theorem prover environment developed by Larry Paulson at Cambridge University and Tobias Kipkow at TU Munich.
网站评级:
3.0 / 5.0, 语: English
Ohio State Buckeyes Football and Basketball Forum
网站评级:
3.0 / 5.0, 语: English
The system documented originated at the Laboratory for Applied Logic of Brigham Young University and features higher-order, classical, natural deduction with ...
网站评级:
3.0 / 5.0, 语: English
Monetizing Online Forums : A Practical Guide to Generating Revenue From Forums - The Right Way by Patrick O
网站评级:
3.0 / 5.0, 语: English
Radboud University Nijmegen - Lambda calculus, type theory and formalising mathematical vernacular.
网站评级:
3.0 / 5.0, 语: English
Scientific Literature Digital Library incorporating autonomous citation indexing, awareness and tracking, citation context, related document retrieval, similar ...
网站评级:
3.0 / 5.0, 语: English
News, weather and sports.
网站评级:
3.0 / 5.0, 语: English
The next generation of the NuPrl proof development system. The main new features of MetaPRL include: 1) Modularity. Programs and logics are developed as modules ...
网站评级:
3.0 / 5.0, 语: English