https://github.com/kanarus/rust_de_morgan

An example of proving De Morgan's laws in Rust type system
https://github.com/kanarus/rust_de_morgan

math propositional-logic

Last synced: 19 days ago
JSON representation

An example of proving De Morgan's laws in Rust type system

• Host: GitHub
• URL: https://github.com/kanarus/rust_de_morgan
• Owner: kanarus
• Created: 2024-09-30T17:15:37.000Z (about 2 months ago)
• Default Branch: main
• Last Pushed: 2024-10-01T21:28:45.000Z (about 1 month ago)
• Last Synced: 2024-10-07T04:19:10.145Z (about 1 month ago)
• Topics: math, propositional-logic
• Language: Rust
• Homepage:
• Size: 11.7 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:

Awesome Lists containing this project