← All publishers
14 skillsAvg Trust: 67109 total stars
14 skills
direct-proving
Scannedfrenzymath/rethlas
Trust: 6789 starsfrenzymath/rethlasv1.0.116d ago
propose-subgoal-decomposition-plans
Scannedfrenzymath/rethlas
Trust: 6761 starsfrenzymath/rethlasv1.0.016d ago
check-referenced-statements
Scannedfrenzymath/rethlas
Trust: 6758 starsfrenzymath/rethlasv1.0.116d ago
construct-counterexamples
Scannedfrenzymath/rethlas
Trust: 6958 starsfrenzymath/rethlasv1.0.016d ago
construct-toy-examples
Scannedfrenzymath/rethlas
Trust: 6758 starsfrenzymath/rethlasv1.0.016d ago
identify-key-failures
Scannedfrenzymath/rethlas
Trust: 6758 starsfrenzymath/rethlasv1.0.016d ago
obtain-immediate-conclusions
Scannedfrenzymath/rethlas
Trust: 6758 starsfrenzymath/rethlasv1.0.016d ago
query-memory
Scannedfrenzymath/rethlas
Trust: 6958 starsfrenzymath/rethlasv1.0.016d ago
recursive-proving
Scannedfrenzymath/rethlas
Trust: 6758 starsfrenzymath/rethlasv1.0.016d ago
search-math-results
Scannedfrenzymath/rethlas
Trust: 6758 starsfrenzymath/rethlasv1.0.116d ago
synthesize-verification-report
Scannedfrenzymath/rethlas
Trust: 6758 starsfrenzymath/rethlasv1.0.016d ago
verify-proof
Scannedfrenzymath/rethlas
Trust: 6758 starsfrenzymath/rethlasv1.0.016d ago
verify-sequential-statements
Scannedfrenzymath/rethlas
Trust: 6758 starsfrenzymath/rethlasv1.0.116d ago
lean4
Scannedfrenzymath/archon
Trust: 6920 starsfrenzymath/Archonv1.0.03mo ago
All 14 skills loaded