GitHub Release Tracker
All JS React Ruby Go Postgres Frontend Node
24h 7d 14d 30d | Newest Best Latest version only Popular

formal-languages

Past 30d, sorted by best first, all versions
2 results Markdown version
02/26 3
litexlang/Litex 0.8.02-beta
Simple formal language for writing and automatically verifying mathematical proofs with step-by-step inference.
Go 655☆ 472d old #golang #ai #go #math #formal-languages
02/25 3
litexlang/Litex 0.8.01-beta
Simple formal language for writing and automatically verifying mathematical proofs with step-by-step inference.
Go 655☆ 472d old #golang #ai #go #math #formal-languages