search

sagemath / sage-archive-2023-02-01

This repository used to be the user-facing mirror of the Sage source tree. As Sage development migrated on 2023-02-01 from https://trac.sagemath.org/ to our new repository on GitHub, https://github.com/sagemath/sage, we have renamed and archived this repository.
https://www.sagemath.org
Other
2.01k stars 413 forks source link

Added a function to check if one propositional formula tautologically implies another formula. #94

Closed Medha210699 closed 5 years ago

Medha210699 commented 5 years ago

Thanks for contributing to Sage! Unfortunately we are not accepting pull requests on GitHub yet. To propose a change to Sage, please log in with your GitHub account at https://trac.sagemath.org, create a ticket, and push your changes to that ticket as explained in our Developer's Guide.

Please make sure to also have a look at our Code Style Conventions.

slel commented 5 years ago

Thanks @Medha210699 but currently we don't take pull requests via GitHub.

Instead, you can either open a Trac ticket on the Sage Trac server:

or submit a merge requests to our source code repository at gitlab:

(this is the easiest and works pretty much like GitHub pull requests).