KevDev0247/proofster

A proof assistant platform automating preprocessing and normalization procedure, built with react redux frontend, Golang and Python microservices as well as a Python domain layer running on AWS Lambda housing the recursive algorithms and binary trees for generating algorithm steps and results.

Python