Sponsor of the Day:
Jerkmate
https://arxiv.org/abs/2010.00774
[2010.00774] Proof Repair across Type Equivalences
Abstract page for arXiv paper 2010.00774: Proof Repair across Type Equivalences
repair across2010prooftypeequivalences
https://ui.adsabs.harvard.edu/abs/2020arXiv201000774R/abstract
Proof Repair across Type Equivalences - ADS
We describe a new approach to automatically repairing broken proofs in the Coq proof assistant in response to changes in types. Our approach combines a...
repair acrossprooftypeequivalencesads
https://www.campusfrance.org/en/French-degrees-LMD-equivalences
French degrees, LMD system and equivalences | Campus France
Most French higher education degrees are part of the LMD system and award ECTS credits.
campus francefrenchdegreeslmdsystem
https://today.wisc.edu/events/view/221007
Equivalences for Causal Concurrency with Umang Mathur | UW–Madison Events Calendar
events calendarequivalencescausalconcurrencyumang
https://datatracker.ietf.org/doc/html/rfc1494
RFC 1494 - Equivalences between 1988 X.400 and RFC-822 Message Bodies
Equivalences between 1988 X.400 and RFC-822 Message Bodies (RFC 1494, )
x 400rfc1494equivalences1988