|
New proof assistant working group at ENS de Lyon
|
3
|
254
|
March 17, 2026
|
|
March 23: Proof Assistant WG at ENS de Lyon
|
0
|
48
|
March 17, 2026
|
|
Proof Assistants SE
|
1
|
938
|
March 16, 2022
|
|
RocqPL call for presentation
|
1
|
102
|
October 24, 2025
|
|
Rocqshop 2025 call for presentations
|
2
|
165
|
July 15, 2025
|