Sign in
dequantify.
A program that removes quantifiers in statements involving rational functions using Tarski-Seidenberg algorithm
github.com/mniip/dequantify
by
@mniip
Problem
Audience
Keep exploring
Updates
Founder
0
Product
0
No founder updates yet. Check back soon.
🧪
staging
