User contributions for Matěj Grabovský

A user with 182 edits. Account created on 1 October 2007.
Jump to navigation Jump to search
Search for contributionsExpandCollapse
⧼contribs-top⧽
⧼contribs-date⧽
(newest | oldest) View (newer 50 | ) (20 | 50 | 100 | 250 | 500)

30 July 2023

5 August 2016

16 May 2016

29 February 2016

16 February 2016

  • 22:2322:23, 16 February 2016 diff hist +673 N File:Coq 8.5 stdlib proof.png{{Information | Description = {{en|A screenshot of the w:Coq proof assistant (version 8.5) during the process of proving a property of the comparison operation on the natural numbers. The left pane displays the editable script of the proof, while...

22 November 2015

20 September 2015

25 July 2015

18 July 2015

11 July 2015

29 May 2015

27 May 2015

23 May 2015

22 February 2015

23 January 2015

(newest | oldest) View (newer 50 | ) (20 | 50 | 100 | 250 | 500)