A new implementation of Automath
type: Item
instance of: scholarly article
title: A new implementation of Automath
zbMATH Open document ID: 1064.68084
DOI: 10.1023/A:1021983302516
author: Freek Wiedijk
published in: Journal of Automated Reasoning
publication date: 2003-04-27T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 1901560
zbMATH Keywords: Automath
zbMATH Keywords: formalized mathematics
zbMATH Keywords: proof objects
zbMATH Keywords: type theory
describes a project that uses: Coq
describes a project that uses: Agda
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1901560