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

1 star

1 watching

No releases published