Contact
- E-Mail: benedikt.schmidt@inf.ethz.ch
Repository activity
| Repository | Packages | Projects | Feeds | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Total | Newest | Outdated | Problematic | Potentially vulnerable | Other lists | ||||||||
| Hackage | 2 | 2 | - | 2 | 100.0% | - | - | HCO LN ∗ U Problems |
html,
atom
|
||||
| Total | 2 | 2 | - | 2 | 100.0% | - | - | HCO LN ∗ U | |||||
Categories
This maintainer is active in the following package categories:
- Theorem Provers (2)
Projects
haskell:tamarin-prover-term, haskell:tamarin-prover-theory
Similar maintainers
| Maintainer | Score | Common projects |
|---|---|---|
| fallback-mnt-nix@repology | 0.00 | 2 |