Jump to content

User:Pruvisto: Revision history

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

24 October 2024

  • curprev 18:1818:18, 24 October 2024 Pruvisto talk contribs 315 bytes +33 No edit summary
  • curprev 18:1818:18, 24 October 2024 Pruvisto talk contribs 282 bytes +282 Created page with "I am a postdoc working in the formalisation of mathematics with proof assistants. {{mylangbegin}} {{mylang|Haskell|Advanced}} {{mylang|Standard ML|Advanced}} {{mylang|Java|Advanced}} {{mylang|C|Intermediate}} {{mylang|C++|Intermediate}} {{mylang|Python|Intermediate}} {{mylangend}}"
Retrieved from "https://rosettacode.org/wiki/User:Pruvisto"
Cookies help us deliver our services. By using our services, you agree to our use of cookies.
More information