Stream: Hydras & Co. universe

Topic: Library translation

view this post on Zulip 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:

Last updated: Jun 10 2023 at 23:01 UTC