Lean (linguagem de programação)

 Lean é uma linguagem de programação funcional e assistente de prova.[1] É um projeto de código aberto hospedado no GitHub. A linguagem foi primordialmente desenvolvida por Leonardo de Moura, doutor em ciências da computação pela PUC-Rio. O desenvolvimento foi realizado enquanto Leonardo trabalhava na Microsoft Research (hoje em dia na Amazon Web Services), e teve contribuições significativas de outros coautores e colaboradores. Atualmente, o desenvolvimento é apoiado pela organização sem fins lucrativos Lean Focused Research Organization (FRO).

Referências

  1. ↑ Moura, Leonardo de; Ullrich, Sebastian (2021). Platzer, André; Sutcliffe, Geoff, eds. «The Lean 4 Theorem Prover and Programming Language». Cham: Springer International Publishing (em inglês): 625–635. ISBN 978-3-030-79875-8. doi:10.1007/978-3-030-79876-5_37. Consultado em 20 de novembro de 2024 


Ícone de esboço Este artigo sobre computação é um esboço. Você pode ajudar a Wikipédia expandindo-o.

Read other articles:

Nguyễn Thị Doan

Nguyễn Thị DoanWakil Presiden VietnamMasa jabatan25 Juli 2007 – 8 April 2016PresidenNguyễn Minh TriếtTrương Tấn SangTrần Đại QuangPendahuluTrương Mỹ HoaPenggantiĐặng Thị Ngọc Thịnh Informasi pribadiLahir8 November 1951 (umur 72)Distrik Lý Nhân Provinsi Hà Nam, Vietnam UtaraPartai politikPartai Komunis Vietnam (1982–2016)Alma materUniversitas Perdagangan Hanoi Universitas Ekonomi Nasional dan DuniaSunting kotak info • L • B Nguy...

 

2022–23 Northwestern State Lady Demons basketball team

Intercollegiate basketball season 2022–23 Northwestern State Lady Demons basketballConferenceSouthland ConferenceRecord11–18 (7–11 Southland)Head coachAnna Nimz (3rd year season)Assistant coaches Leasa Ailshie Mike Brown Mike Pittman Home arenaPrather Coliseum(Capacity: 3,900)Seasons← 2021–222023–24 → 2022–23 Southland Conference women's basketball standings vte Conf Overall Team W   L   PCT W   L   PCT Southeastern Louisiana †...

 

מחלוקת רב סעדיה גאון ובן מאיר

מחלוקת רסג ובן מאיר בקביעת שנות דא תרפב-תרפד, דפוס שולברג, 1904 ורשה. לחצו על התמונה לדפדוף בספר מעמוד 184 בסתיו שנת ד'תרפב למניין השנים בלוח העברי (סוף 921 לספירת הנוצרים), פרצה מחלוקת בין רב סעדיה גאון ובין רבי אהרן הכהן בן מאיר, ראש ישיבת גאון יעקב, על אודות קביעת לוח השנה וקביעת ...

Chantal Janzen

Chantal Janzen Janzen en 2016Información personalNacimiento 15 de febrero de 1979 (44 años)Tegelen, Países BajosNacionalidad NeerlandesaFamiliaCónyuge Marco Geeratz (matr. 2014)Hijos 2Información profesionalOcupación actriz, cantante, presentadora de televisiónAños activa desde 2002Instrumento Voz Distinciones Zilveren Televizier-Ster (female presenter) (2014) [editar datos en Wikidata] Chantel Janzen (Tegelen, 15 de febrero de 1979) es una actriz, cantant...

 

سفارة السويد في إندونيسيا

سفارة السويد في إندونيسيا السويد إندونيسيا الإحداثيات 6°13′38″S 106°49′35″E / 6.22715°S 106.82641°E / -6.22715; 106.82641  البلد إندونيسيا  المكان جاكرتا  الموقع الالكتروني الموقع الرسمي  تعديل مصدري - تعديل   سفارة السويد في إندونيسيا هي أرفع تمثيل دبلوماسي[1] لدولة

 

جدلية بداية الحمل

تظهر جدلية بداية الحمل في سياقات مختلفة، خاصةً في النقاش المتعلق بالإجهاض في الولايات المتحدة. يُعرَّف الإجهاض على أنه إنهاء للحمل القائم، وليس تدمير للبويضة المخصبة، وذلك اعتمادًا على كيفية النظر إلى فترة بدء الحمل. يمكن تصنيف بعض طرق تحديد النسل بالإضافة إلى بعض طرق علا...

Museo Etrusco Guarnacci

Museo Etrusco Guarnacci in Volterra Das Museo Etrusco Guarnacci ist eines der ältesten, öffentlichen Museen Europas und befindet sich im Palazzo Desideri Tangassi in Volterra in der Toskana. Inhaltsverzeichnis 1 Geschichte 2 Ausstellung 2.1 Historische Ausstellung 2.2 Chronologische Ausstellung 3 Weblinks Geschichte Museo Etrusco Guarnacci um 1900 Das Museum wurde 1761 gegründet, nachdem der adlige Abt Mario Guarnacci (1707–1785) seine Sammlung archäologischer Artefakte der Öffentlichk...

 

Hungary at the 2023 World Aquatics Championships

Sporting event delegationHungary at the2023 World Aquatics ChampionshipsFlag of HungaryFINA codeHUNNational federationHungarian Swimming AssociationWebsitewww.musz.hu (in Hungarian)in Fukuoka, JapanCompetitors61 in 5 sportsMedalsRanked 11th Gold 2 Silver 2 Bronze 0 Total 4 World Aquatics Championships appearances (overview)197319751978198219861991199419982001200320052007200920112013201520172019202220232024 Hungary is set to compete at the 2023 World Aquatics Championships in Fukuoka, Japan fr...

 

Accord de quarte et sixte

En harmonie tonale, il existe deux types d'accords de quarte et sixte : le deuxième renversement d'un accord de trois notes, dans le cas d'un passage ou d'une broderie, ou alors l'accord de quarte et sixte cadentiel, dont la basse est la fondamentale, agrémentée des mouvements mélodiques que sont la quarte et la sixte: appogiatures, broderies, retards etc. L'accord de quarte et sixte en tant que deuxième renversement est composé d'une basse — la quinte de la fondamentale —, d'u...

3 avril

Pour les articles homonymes, voir Trois-Avril. Éphémérides Avril 1er 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30           3 mars 3 mai Chronologies thématiques Croisades Ferroviaires Sports Disney Anarchisme Catholicisme Abréviations / Voir aussi (° 1852) = né en 1852 († 1885) = mort en 1885 a.s. = calendrier julien n.s. = calendrier grégorien Calendrier Calendrier perpétuel Liste de calendriers Naissances du jour modifie...

 

Muqatta'at

Al-Qur'an Sejarah Wahyu Kesejarahan Asbabunnuzul Nuzululqur'an Manuskrip Samarkand Sanaa Birmingham Topkapi Pembagian Hizb Juz Manzil Muqatta'at Surah Daftar Makiyah Madaniyah Isi Eskatologi Hewan Keajaiban Ketuhanan Ilmu pengetahuan Legenda Nabi dan Rasul Nama lain Perumpamaan Wanita Membaca Taawuz Basmalah Hafiz Qiraat Qari Tajwid Tartil Khatam Terjemahan Daftar terjemahan Al-Qur'an Tafsir Daftar karya tafsir Hermeneutika Takwil Nasakh Hubungan dengan kitab lain Orang yang disebut namanya K...

 

The Herald (Zimbabwe)

Zimbabwean daily newspaper The HeraldHerald House, HarareTypeDaily newspaperOwner(s)State-ownedPublisherZimpapersEditorHatred ZenengaFounded1892; 131 years ago (1892)LanguageEnglishHeadquartersHarare, ZimbabweCirculation60,000Websitewww.herald.co.zw The Herald is a state-owned daily newspaper published in Harare, the capital of Zimbabwe. History Origins The newspaper's origins date back to the 19th century. Its forerunner was launched on 27 June 1891 by William Fairbridge ...

Cass Technical High School

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Cass Technical High School – news · newspapers · books · scholar · JSTOR (September 2019) (Learn how and when to remove this template message) Magnet high school in Detroit, Michigan, United StatesCass Technical High SchoolThe school in 2010Address2501 Second A...

 

A French Gigolo

2008 film directed by Josiane Balasko A French GigoloTheatrical release posterFrenchCliente Directed byJosiane BalaskoScreenplay byJosiane Balasko Adaptation byJosiane BalaskoFranck Lee Joseph Produced byCyril Colbeau-JustinJean-Baptiste DupontStarringNathalie BayeÉric CaravacaIsabelle CarréJosiane BalaskoCatherine HiegelMarilou BerryFélicité WouassiGeorge AguilarSandrine Le BerreDavid RousseauGuillaume VerdierJean-Christophe FollyCinematographyRobert AlazrakiEdited byClaudine MerlinMarie...

 

亚洲公路71号线

亞洲公路71号线Asian Highway 71 概览 總長度 426公里（265英里） 起點  阿富汗 Delaram（英语：Delaram） 主要途經  阿富汗 伊朗 終點  伊朗 Dashtak 亚洲公路71号线（英語：Asian Highway 71），编号為，是亞洲公路網系統中一条全长426公里的公路[1] ，阿富汗德拉拉姆（英语：Delaram）至伊朗的Dashtak。 阿富汗 606号公路（英语：Route 606 (Afghanistan)）: 德拉拉姆（英语：Delara...

Sergej Milinković-Savić

Serbian footballer Sergej Milinković-Savić Milinković-Savić with Serbia at the 2018 FIFA World CupPersonal informationFull name Sergej Milinković-Savić[1]Date of birth (1995-02-27) 27 February 1995 (age 28)Place of birth Lleida, SpainHeight 1.92 m (6 ft 4 in)[2]Position(s) MidfielderTeam informationCurrent team Al HilalNumber 22Youth career Sporting2002–2006 Grazer AK2006–2013 VojvodinaSenior career*Years Team Apps (Gls)2013–2014 Vojvodina 13 (3...

 

Tiruvuru Assembly constituency

Constituency of the Andhra Pradesh Legislative Assembly, India TiruvuruConstituency No. 69 for the Andhra Pradesh Legislative AssemblyLocation of Tiruvuru Assembly constituency within Andhra PradeshConstituency detailsCountryIndiaRegionSouth IndiaStateAndhra PradeshDistrictNTRLS constituencyVijayawadaEstablished1951Total electors203,404ReservationSCMember of Legislative Assembly15th Andhra Pradesh Legislative AssemblyIncumbent Kokkiligadda Rakshana Nidhi Party  YSRCPElected year2019...

 

Natalie O'Hara

Natalie O’HaraLahirNatalie O’HaraTahun aktif2000 – Sampai Sekarang Natalie O’Hara (17 Desember 1976) merupakan seorang aktris berkebangsaan Jerman. Mengawali debutnya di dunia akting dengan tampil disebuah episode serial St. Angela (2000), sementara debutnya dilayar lebar lewat film Beyond the Sea (2004). Nama Natalie O’Hara populer di Jerman setelah berakting diserial televisi berjudul Der Bergdoktor (2008-2011). Filmografi St. Angela TV Series, episode Hochzeit mit Zwischenf...

Jayabharathi

Indian actress This article is about the Malayam film actress. For Indian film director, see Jayabharathi (director). JayabharathiJayabharathi at the 61st Filmfare Awards South, 2014BornLakshmi BharathiErode, Madras State (present day Tamil Nadu), IndiaNationalityIndianSpouse Sathaar ​ ​(m. 1979; died 2019)​ChildrenKrish J. SathaarParentsShivasankaran PillaiSharadaRelativesJayan (cousin) Jayabharathi is an Indian actress. She is a two-time recip...

 

Victoria Daly Regional Council

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Victoria Daly Regional Council – news · newspapers · books · scholar · JSTOR (March 2019) (Learn how and when to remove this template message) Local government area in the Northern Territory, AustraliaVictoria Daly Regional CouncilNorthern TerritoryCoordinates1...

 

Strategi Solo vs Squad di Free Fire: Cara Menang Mudah!