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.
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.