Yes, these are references to the Mizar Mathematical Library, as published
in the Journal of Formalized Mathematics.
On Sat, Mar 30, 2024 at 4:58 PM Glauco wrote:
> Using Gemini and some luck, could it be Journal Of Formalized Mathematics
> ?
>
> --
> You received this message because you are
Using Gemini and some luck, could it be Journal Of Formalized Mathematics ?
--
You received this message because you are subscribed to the Google Groups
"Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to metamath+unsubscr...@googlegroups.com.