Get Started Reference Live Code

Get StartedLive Code Source Code VS-Code deduce-mode Emacs deduce-mode
Reference Cheat sheet Programming in deduce Proofs in deduce
Syntax/Grammar Statements Proofs Terms Types Deduce unicode