metamath.exe file for Windows

metamath / metamath-exe

Metamath program - source code for the Metamath executable

GNU General Public License v2.0

75 stars 25 forks source link

metamath.exe file for Windows #172

Closed FrankHubeny closed 5 months ago

FrankHubeny commented 5 months ago

I couldn't find the metamath.exe file for Windows.

benjub commented 5 months ago

You can download it from https://us.metamath.org/index.html#downloads but this may not be the latest version.

digama0 commented 5 months ago

It is the latest version, there is a fresh build of master every day.

FrankHubeny commented 5 months ago

Thank you! I downloaded it.

Frank Hubeny

Sent with Proton Mail secure email.

On Monday, February 12th, 2024 at 2:20 PM, Benoit @.***> wrote:

You can download it from https://us.metamath.org/index.html#downloads but his may not be the latest version.

— Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you authored the thread.Message ID: @.***>