I followed this seminar by Helmut Schwichtenberg on the use in constructive analysis of Minlog. Here you find my presentation on the implementation of the natural numbers and the relative script I produced. Here you find the Course’s Website.
Apr 01, 20251 min read
I followed this seminar by Helmut Schwichtenberg on the use in constructive analysis of Minlog. Here you find my presentation on the implementation of the natural numbers and the relative script I produced. Here you find the Course’s Website.