scientific article; zbMATH DE number 7566057

MaRDI QIDQ5094129

Sebastian Ullrich, Leonardo de Moura

Publication date: 2 August 2022

Full work available at URL: https://arxiv.org/abs/2001.10490

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

lean macro hygiene

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Related Items (1)

Unnamed Item

Uses Software

• Eisbach
• Lean

Cites Work

• Unnamed Item
• Unnamed Item
• Eisbach: a proof method language for Isabelle
• Notions of computation and monads
• MetaML and multi-stage programming with explicit annotations
• The Lean 4 theorem prover and programming language

This page was built for publication: