GitHub - RaviRam-Gummuluri/Discrete-Math: This repo contains all the solutions to assignments of Discrete Mathematics coursework which can be used as tools

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
2.DNF generator		2.DNF generator
3.Quantifier		3.Quantifier
4.Inference validator		4.Inference validator

About

This repo contains all the solutions to assignments of Discrete Mathematics coursework which can be used as tools

No releases published