User contributions for Pruvisto
Results for Pruvisto talk block log uploads logs abuse log global account global block log
A user with 5 edits. Account created on 24 October 2024.
25 October 2024
- 10:1610:16, 25 October 2024 diff hist +20,943 Bernoulli numbers →{{header|Icon}} and {{header|Unicon}}
24 October 2024
- 19:1119:11, 24 October 2024 diff hist +5,578 Catalan numbers added Isabelle solution
- 18:1818:18, 24 October 2024 diff hist +33 User:Pruvisto No edit summary current
- 18:1818:18, 24 October 2024 diff hist +282 N User:Pruvisto 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}}"
- 18:1018:10, 24 October 2024 diff hist +3,079 Boustrophedon transform Added Haskell solution