https://github.com/adam-mcdaniel/reckon

A reasonable language for your reasoning tasks!
https://github.com/adam-mcdaniel/reckon

Last synced: 3 months ago
JSON representation

A reasonable language for your reasoning tasks!

• Host: GitHub
• URL: https://github.com/adam-mcdaniel/reckon
• Owner: adam-mcdaniel
• License: mit
• Created: 2025-01-27T04:10:27.000Z (10 months ago)
• Default Branch: main
• Last Pushed: 2025-01-27T04:19:28.000Z (10 months ago)
• Last Synced: 2025-01-27T05:19:58.300Z (10 months ago)
• Language: Rust
• Homepage: https://adam-mcdaniel.net/reckon
• Size: 3.23 MB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project

• awesome-rust-formalized-reasoning - reckon - programming language designed for reasoning tasks, proof checking, and logical inferencing. (Programming Language / Libraries)