jthulhu Adrien Mathieu
github.com/jthulhu · maintains 2 packages (2 directly), sole maintainer of 0, member of 0 teams
2 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Server to communicate with the FindMyDevice app and save the latest (encrypted) location |
0.17.0 |
7 | 4 | 0 | 0 | maintained | ||
Automatic and interactive theorem prover |
4.34.1 |
4 | 10 | 0 | 0 | maintained |