Projects per year

## Abstract

We define the concept of collaborative theorem proving and outline our plan to make it a reality. We believe that a successful implementation of collaborative theorem proving is a necessary prerequisite for the formal verification of large systems.

Original language | English |
---|---|

Number of pages | 11 |

Volume | abs/1404.6186 |

Publication status | Published - 2014 |

## Projects

- 1 Finished