TNT

(★ 8)

some simple&naive formal proof of trivial Number Theory, using Agda/Coq, just to practice skills

TNT Latest Version Download

Download Latest Version (.zip)

Today's picks

lazygit ★ 81,379

simple terminal UI for git commands

Go
svelte ★ 87,977

web development for the rest of us

JavaScript
Web-Dev-For-Beginners ★ 96,359

24 Lessons, 12 Weeks, Get Started as a Web Developer

JavaScript
thefuck ★ 97,712

Magnificent app which corrects your previous console command.

Python
rustdesk ★ 120,987

An open-source remote desktop application designed for self-hosting, as an alternative to

Rust
skills ★ 169,727

Public repository for Agent Skills

Python
// repository documentation