strong-normalization

(โ˜… 35)

Formalizations of strong normalization proofs

strong-normalization Latest Version Download

Download Latest Version (.zip)

Today's picks

browser-use โ˜… 109,428

๐ŸŒ Make websites accessible for AI agents. Automate tasks online with ease.

Python
caddy โ˜… 74,949

Fast and extensible multi-platform HTTP/1-2-3 web server with automatic HTTPS

Go
system-prompts-and-models-of-ai-tools โ˜… 142,871

FULL Augment Code, Claude Code, Cluely, CodeBuddy, Comet, Cursor, Devin AI, Junie, Kiro, L
v2rayN โ˜… 113,981

A GUI client for Windows, Linux and macOS, support Xray and sing-box and others

C#
scrcpy โ˜… 147,767

Display and control your Android device

C
d2l-zh โ˜… 79,744

ใ€ŠๅŠจๆ‰‹ๅญฆๆทฑๅบฆๅญฆไน ใ€‹๏ผš้ขๅ‘ไธญๆ–‡่ฏป่€…ใ€่ƒฝ่ฟ่กŒใ€ๅฏ่ฎจ่ฎบใ€‚ไธญ่‹ฑๆ–‡็‰ˆ่ขซ70ๅคšไธชๅ›ฝๅฎถ็š„500ๅคšๆ‰€ๅคงๅญฆ็”จไบŽๆ•™ๅญฆใ€‚

Python
// repository documentation