An automatic prover of termination of logic programs and narrowing
↑ +1 today
pepeiborra
1 tracked repository
☆ 8 TOTAL STARS
⑂ 1 TOTAL FORKS
↗ +1 STARS TODAY
★ Add Profile Badge to your GitHub README.md
Auto-UpdatingShowcase your total open-source impact. This SVG badge updates automatically as our continuous crawler records new stars.
[](https://githubrepo.cloud/developers/pepeiborra)Repositories
Sorted by stars
From our network