bermuda
Neurosymbolic verifier for Bermuda Verifier. Use when verifying claim sets in this domain with FOL/SMT/e-graph/Datalog reasoning. Scaffolded by neurosym-forge.
Informations de source
- Dépôt
- CharlesHoskinson/russellian-book-suite
- Dernière activité de la source
- 20 juin 2026 à 04:18
- Langue détectée de SKILL.md
- anglais
- Étoiles
- 2
- Forks
- 1
Options d'installation
Le prompt qui vérifie d'abord la source est sélectionné par défaut. Vous pouvez passer à une commande directe ou télécharger une copie locale.
Vérifiez les fichiers source
Lisez SKILL.md et les fichiers associés affichés par SkillsMP avant de décider de l'installer.
