Cited in
(only showing first 100 items - show all)- Encoding functional relations in Scunak
- A formal semantics for DAI language NUML
- Innovations in computational type theory using Nuprl
- Coq
- ILTP
- Isabelle
- SUBSEXPL
- Theorema
- ML
- ASSET
- TinkerType
- THINKER
- CCSL
- APTS
- OMRS
- MAYA
- NUML
- TAMPR
- MetaPRL
- Isabelle/ZF
- Miranda
- TeXmacs
- Matita
- ETPS
- OCaml
- GHC
- Nuprl
- MUSCADET
- ArgoCLP
- Twelf
- OMDoc
- TNTBase
- MathXpert
- LCF
- ALF
- GF
- Lilac
- IMPS
- Polyp
- VSDITLU
- Agda
- gaia
- Cayenne
- Epigram
- CompCert
- Irdis
- LEGO
- ForTheL
- Minlog
- SAD
- Tac
- JProver
- PoplMark
- Analytica
- Coquelicot
- PIPER
- TXL
- ModLeanTAP
- Opengeo
- dedukti
- GF
- TCB
- PolyTOIL
- KIDS
- UniMath
- Lambda-Clam
- 1ML
- Omega-ANTS
- Plat-Omega
- XBarnacle
- LLFp
- CAL
- Elf
- MiniAgda
- MathLang
- Multi
- PAL+
- ALGOL 60
- scunac
- Horus
- PLAN
- FreshOCaml
- cubicaltt
- MixML
- mini-ML
- TIL
- CRSX
- Jordan
- kepler98
- RedPRL
- Mathpert
- EfProb
- GATP
- SKIL
- GETFOL
- Gallina
- TinkerType: a language for playing with formal systems
- SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi
- MathLang: experience-driven development of a new mathematical language
- SAD as a mathematical assistant -- how should we go from here to there?
This page was built for software: Automath
