swMATH7127MaRDI QIDQ19182FDOQ19182
Author name not available (Why is that?)
Official website: http://www.cs.ru.nl/~freek/aut/
Cited In (only showing first 100 items - show all)
- MathLang: experience-driven development of a new mathematical language
- Encoding functional relations in Scunak
- TinkerType: a language for playing with formal systems
- ILTP
- Theorema
- ML
- MAYA
- 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
- FraCaS
- Naproche
- Template-Coq
- Monatron
- EVES
- DOVE
- REVE
- MiniML
- Secondary Sylow
- Omega-MKRP
- PROVERB
- Innovations in computational type theory using Nuprl
- SAD as a mathematical assistant -- how should we go from here to there?
- SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi
- A formal semantics for DAI language NUML
This page was built for software: Automath
