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.
Dec 13, 20241 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.