Skip to content

FSCD 2021 v1.0
Compare
Choose a tag to compare
@DmxLarchey DmxLarchey released this 01 May 09:47
FSCD-2021
4115398

Synthetic Undecidability of MSELL via FRACTRAN (FSCD 2021)

This repository is a tailored/frozen version of the Coq Library of Undecidability Proofs designed to provide a faster path towards code review of the FSCD'21 paper Synthetic Undecidability of MSELL via FRACTRAN mechanised in Coq by Dominique Larchey-Wendling.

Assets 2
Loading