Skip to search formSkip to main contentSkip to account menu

Evidence Eliminator

Evidence Eliminator was a computer software program that ran on the Microsoft Windows operating system. The program deletes hidden information from… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
In this paper we provide a syntax for the cubical set model of type theory [3]. We start by defining a heterogeneous equality as… 
1995