leanprover-community-bot-assistant comments

Repositories
Issues
Comments

Results 3 comments of


leanprover-community-bot-assistant

feat(combinatorics/simple_graph/triangle/basic): add ε-triangle-free far graph predicate

This PR/issue depends on: * ~~leanprover-community/mathlib#12982~~ * ~~leanprover-community/mathlib#13552~~ By **[Dependent Issues](https://github.com/z0al/dependent-issues)** (🤖). Happy coding!

feat(number_theory/miller_rabin): adding lemmas about the miller rabin primality test.

This PR/issue depends on: * ~~leanprover-community/mathlib#12973~~ * ~~leanprover-community/mathlib#12989~~ By **[Dependent Issues](https://github.com/z0al/dependent-issues)** (🤖). Happy coding!

Complexity Theory

This PR/issue depends on: * ~~leanprover-community/mathlib#11868~~ * ~~leanprover-community/mathlib#12001~~ By **[Dependent Issues](https://github.com/z0al/dependent-issues)** (🤖). Happy coding!