Tag Info

formal-verification Questions

11	1	6egic 1,2878 silver badges17 bronze badges
10	2	Leonardo Alt 3662 silver badges5 bronze badges
2	1	Patrick Collins 10.2k5 gold badges41 silver badges90 bronze badges
1	1	Markus Schick 1,2183 silver badges15 bronze badges

14	3	Paul Razvan Berg 16.8k6 gold badges68 silver badges132 bronze badges
8	3	Patrick Collins 10.2k5 gold badges41 silver badges90 bronze badges
2	1	Hassan 211 bronze badge

Only non community-wiki questions and answers are included in these totals (updated daily)