Stream: Coq users

Topic: A `Search` tutorial


view this post on Zulip Pierre Rousselin (May 14 2024 at 09:29):

Hi, everyone.
I've written a quick Search tutorial for Coq. It is available in this PR. Reviews, comments and criticisms are more than welcome in #Platform-docs > A Search tutorial .

view this post on Zulip Thomas Lamiaux (May 16 2024 at 11:33):

Now merged and available here https://github.com/Zimmi48/platform-docs/blob/main/src/SearchTutorial.v


Last updated: Jun 18 2024 at 20:02 UTC