strong-normalization

★ 35 Open GitHub ↗

Formalizations of strong normalization proofs

Explore Similar Repositories

gosal : A Sal client written in Go
ng2-gRPC : A starter kit for Angular 2 projects using gRPC-web
hyper-cat-cursor : An extension for Hyper to replace the cursor with a cat emoji sequence. Why? Because I was bored.
Metro-Lights : A dark Xcode theme inspired by City Lights for Atom.
javassembly : :floppy_disk: Calling Assembly from Java: simple example using the JNI and NASM.
// repository documentation