DeepReasoning. DHBW Stuttgart student project on theorem proving

github.com/phlippe/DeepReasoning
by @phlippe

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.