Block or Report
Block or report Mayank19j
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories Loading
-
-
Maximal-Points-3D
Maximal-Points-3D PublicIn a given set of points in 3D, a point (x1,y1,z1) is said to be maximal if no other point (x2,y2,z2) is present in the given set such that x1<x2 & y1<y2 & z1<z2 all simultaneously.
C++
-
semantic-tableau
semantic-tableau Publicsemantic tableau is method of finding whether the given logic (propositional logic here) is consistent or inconsistent, whether it is valid (tautology) or not.
C++
-
resolution-refutation-prolog
resolution-refutation-prolog Publicresolution refutation is method of finding whether the given antecedent implies the consequent or not, it could also be used to check validity of the expressions.
Prolog
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.