Is this the most up to date tutorial on Autoproof?

[Alejandro Garcia]

I'm studying the code for EiffelBase2
And found, this tutorial:
https://se.inf.ethz.ch/research/autoproof/tutorial/downloads/tutorial.pdf

in this page 
https://se.inf.ethz.ch/research/autoproof/

And I'm wondering if it is the most up-to-date tutorial.

Thank you 

--

Alejandro García F. (elviejo)
https://elviejo79.github.io

Too brief? Here's why! https://www.emailcharter.info
EOM – End Of Message. The whole message is in the subject don't need to open it.
NNTR – No Need To Respond. Help cut down on all those “cool” and “thanks” emails.
SINGLE SUBJECT. Send one email for one topic, this makes replies easy..
CLEAR CALL TO ACTION: Ask for some specific result very clearly.

[reto.a...@gmail.com]

I created last year a docker image for Autoproof. 

https://hub.docker.com/r/risajef/autoproof

https://github.com/risajef/autoproof_docker

It works just out of the box.

My friend who wrote the new tutorial will eventually answer.

Have fun with Autoproof. 

--
You received this message because you are subscribed to the Google Groups "Eiffel Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to eiffel-users...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/CALFgaYDHLWfjpOb-%2BEs5tKmKWz0qdKKWX8mWQQx72Uu1kKqtwg%40mail.gmail.com.

[Ilgiz Mustafin]

Here are some pages we wrote at CIT:

1.  How to install AutoProof https://se.constructor.ch/reif-site/installation
   If you want to try other parts of EVE, you can find them in Reif too
2. Quick start for using AutoProof https://se.constructor.ch/reif-site/autoproof/quick-start.html
3. Partially updated version of the Tutorial PDF you found https://se.constructor.ch/reif-site/tutorial/index.html

I don't know how long they will be online, so take a look.

GitHub repo https://github.com/CI-CSE/reif will not disappear (most probably), so the source code and text are relatively safe.

суббота, 20 июня 2026 г. в 20:55:43 UTC, agarc...@gmail.com:

[Alejandro Garcia]

Thank you both.

This is very helpful. 

Alejandro García F. (elviejo)
https://elviejo79.github.io

Too brief? Here's why! https://www.emailcharter.info
EOM – End Of Message. The whole message is in the subject don't need to open it.
NNTR – No Need To Respond. Help cut down on all those “cool” and “thanks” emails.
SINGLE SUBJECT. Send one email for one topic, this makes replies easy..
CLEAR CALL TO ACTION: Ask for some specific result very clearly.

--

You received this message because you are subscribed to the Google Groups "Eiffel Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to eiffel-users...@googlegroups.com.

To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/33204a34-4906-4a84-9fe7-4f097615e296n%40googlegroups.com.