Skip to content
Meet other local people interested in Proof Assistants: share experiences, inspire and encourage each other! Join a Proof Assistants group.
465
members
1
groups
Join Proof Assistants groups
Related Topics:
SAFE
Extreme Programming
Evaluation
Software Configuration Management
Agile Project Management
Continuous Integration
Atlassian Toolset
Git
Bamboo
Prometheus

Largest Proof Assistants groups

1

London Type-Driven Development

465 Typists | London,
Photo of London Type-Driven DevelopmentOrganized by Paul Cadman
modular synth
Show all
Newest Proof Assistants groups
London Type-Driven Development
465 Typists
Started Jan 1 in London, gb