Jump to content

User contributions for Clayrat

Results for Clayrat talk block log uploads logs global block log global account filter log

A user with 81 edits. Account created on 23 February 2010.

Search for contributionsshowhide

⧼contribs-top⧽

Username, IP address or CIDR range:

Namespace:

Invert selection

Associated namespace

Tag filter:

Invert selection

Only show edits that are latest revisions

Only show edits that are page creations

Hide minor edits

⧼contribs-date⧽

From date:

To date:

Show only edits pending review

Hide probably good edits

22:3722:37, 21 April 2023 diff hist +20 Satisfiability modulo theories →Solvers{{anchor|SMT solvers}}

15:1415:14, 15 February 2023 diff hist +139 Jug (disambiguation) →Other uses Tag: Reverted

03:1003:10, 26 December 2022 diff hist +14 User:Clayrat No edit summary current

14:3614:36, 3 December 2022 diff hist +4 Saint-Paulin cheese No edit summary current

11:3311:33, 14 October 2022 diff hist +284 History of Linux →Chronology

19:5819:58, 31 January 2022 diff hist +1 m Interval (mathematics) No edit summary

12:0912:09, 22 October 2021 diff hist +4 List of film and television accidents →2020s

01:3001:30, 16 October 2021 diff hist 0 Idris (programming language) No edit summary

11:1211:12, 14 October 2021 diff hist +4 Commonsense reasoning No edit summary

16:4816:48, 3 June 2021 diff hist +102 Dialectica No edit summary

00:4900:49, 16 February 2021 diff hist +91 Relativistic programming No edit summary

00:0300:03, 13 December 2020 diff hist +1 m Holguín →History

18:1518:15, 28 October 2020 diff hist −202 Coq (software) →Four color theorem and SSReflect extension

21:4221:42, 19 October 2020 diff hist +720 Strict conditional constructive variant

00:4400:44, 12 October 2020 diff hist +21 Formal epistemology →List of contemporary formal epistemologists

22:5422:54, 25 August 2020 diff hist +55 Bimbo →Music

12:1612:16, 17 August 2020 diff hist +3 Idris (programming language) →Idris 2

00:3900:39, 5 August 2020 diff hist +8 2020 Belarusian presidential election →Siarhei Tsikhanouski and Sviatlana Tsikhanouskaya: fix OMON link

02:5002:50, 23 June 2020 diff hist +143 Logical relations →References

00:4100:41, 20 June 2020 diff hist 0 Dishwasher salt No edit summary

00:1300:13, 12 June 2020 diff hist +24 Conor McBride No edit summary

23:3423:34, 11 June 2020 diff hist +35 Agda (programming language) →See also

14:4714:47, 26 May 2020 diff hist 0 Idris (programming language) →Idris 2 Tags: Mobile edit Mobile web edit
14:4614:46, 26 May 2020 diff hist −1 Idris (programming language) →Idris 2 Tags: Mobile edit Mobile web edit

15:1715:17, 13 December 2017 diff hist +13 Silje Reinåmo No edit summary

12:3612:36, 6 October 2017 diff hist +9 Substructural type system fix ALMS link

17:0117:01, 7 August 2017 diff hist 0 Idris (programming language) new minor release

15:3715:37, 18 May 2017 diff hist +14 User:Clayrat No edit summary
15:3615:36, 18 May 2017 diff hist +208 Idris (programming language) No edit summary

15:2915:29, 16 May 2012 diff hist +61 Robert Rosen (biologist) →External links

12:5912:59, 30 March 2012 diff hist +344 Substructural type system No edit summary

16:3016:30, 8 March 2012 diff hist +4 Bet v I allergen No edit summary

13:0913:09, 14 December 2011 diff hist +26 Togaviridae No edit summary

11:0111:01, 19 October 2011 diff hist +1 User:Clayrat No edit summary
11:0111:01, 19 October 2011 diff hist +24 User:Clayrat No edit summary
10:5610:56, 19 October 2011 diff hist −567 User:Clayrat No edit summary

17:1617:16, 12 October 2011 diff hist +28 1-Naphthaleneacetic acid →See also

15:2115:21, 23 September 2011 diff hist +851 User:Clayrat No edit summary

17:4517:45, 5 September 2011 diff hist +160 Pure type system No edit summary

18:0318:03, 31 August 2011 diff hist +19 Substructural type system →See also
18:0018:00, 31 August 2011 diff hist +172 Separation logic No edit summary

15:1815:18, 23 August 2011 diff hist +126 Continuation-passing style →Use and implementation

19:3519:35, 19 August 2011 diff hist +32 N Affine type ←Redirected page to Linear type system
19:3519:35, 19 August 2011 diff hist +146 Substructural type system No edit summary
18:5418:54, 19 August 2011 diff hist +59 Substructural type system →Programming languages
17:5717:57, 19 August 2011 diff hist +64 Substructural type system →Programming languages
17:5517:55, 19 August 2011 diff hist +221 Substructural type system No edit summary

17:1217:12, 22 April 2011 diff hist +39 Stratum corneum No edit summary

13:3513:35, 23 February 2011 diff hist +206 Akka No edit summary

15:0915:09, 9 February 2011 diff hist +16 Raja Ram (musician) No edit summary

Retrieved from "https://en.wikipedia.org/wiki/Special:Contributions/Clayrat"