User loginNavigation |
Yves BertotPersonal informationPhD in 1991 on programming language environments (worked on precursors Current subjects of focus (fall 2008): 2/ making the concepts and methods of theorem proving more accessible History16 years 22 weeks |
Browse archives
Active forum topics |
Recent comments
4 days 17 hours ago
40 weeks 6 days ago
40 weeks 6 days ago
40 weeks 6 days ago
1 year 10 weeks ago
1 year 15 weeks ago
1 year 16 weeks ago
1 year 16 weeks ago
1 year 19 weeks ago
1 year 24 weeks ago