Stream: Hydras & Co. universe

Topic: Library translation

Karl Palmskog (Sep 17 2022 at 21:26):

can confirm that porting code between proof assistants (and different versions of the same proof assistant) is a kind of crossword puzzle like, relaxing experience: https://lawrencecpaulson.github.io/2022/09/14/Libraries.html

Last updated: Jun 10 2023 at 23:01 UTC