https://github.com/playwithalgos/realqelim

Real number quantification elimination procedure explained as an adventure book
https://github.com/playwithalgos/realqelim

Last synced: 7 months ago
JSON representation

Real number quantification elimination procedure explained as an adventure book

• Host: GitHub
• URL: https://github.com/playwithalgos/realqelim
• Owner: playwithalgos
• License: gpl-3.0
• Created: 2025-02-27T10:28:20.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2025-02-27T10:38:20.000Z (over 1 year ago)
• Last Synced: 2025-02-27T14:37:17.879Z (over 1 year ago)
• Language: HTML
• Homepage: https://playwithalgos.github.io/realqelim/
• Size: 160 KB
• Stars: 1
• Watchers: 0
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# realqelim

Real number quantification elimination procedure explained as an adventure book