AI & ChatGPT searches , social queries for LEAN PROOF-ASSISTANT
Search references for LEAN PROOF-ASSISTANT. Phrases containing LEAN PROOF-ASSISTANT
See searches and references containing LEAN PROOF-ASSISTANT!
Search references for LEAN PROOF-ASSISTANT. Phrases containing LEAN PROOF-ASSISTANT
See searches and references containing LEAN PROOF-ASSISTANT!LEAN PROOF-ASSISTANT
Proof assistant and programming language
Lean is a proof assistant and a functional programming language. It is based on the calculus of constructions with inductive types. It is a free and open-source
Lean_(proof_assistant)
Interactive theorem prover software
mathematical logic, a proof assistant or interactive theorem prover is a software tool to assist with the development of formal proofs by human–machine collaboration
Proof_assistant
Computer scientist
Prover and the Lean proof assistant during his time at Microsoft Research. He currently works at AWS and is the Chief Architect at the Lean FRO. The 2007
Leonardo_de_Moura
Higher-order logic (HOL) automated theorem prover
core (kernel) to increase the trustworthiness of proofs without requiring, yet supporting, explicit proof objects. Isabelle is available inside a flexible
Isabelle_(proof_assistant)
Italian computer scientist
Board of the Lean Focused Research Organization (FRO), a non-profit organization supporting the development of the Lean proof assistant and its ecosystem
Simone_Severini
Topics referred to by the same term
Lean (proof assistant), a mathematical proof assistant and programming language Lean (drug), based on cough syrup Le'an County, in Jiangxi, China Lean meat
Lean
1995 publication in mathematics
given a five-year EPSRC grant to begin formalising a proof of the theorem in the Lean proof assistant. Wiles proved the modularity theorem for semistable
Wiles's proof of Fermat's Last Theorem
Wiles's_proof_of_Fermat's_Last_Theorem
proved in January 2026 by Enrique Barschkis; the proof was formally verified in the Lean proof assistant. In March 2026, Erdős problem 369 was solved by
List of conjectures by Paul Erdős
List_of_conjectures_by_Paul_Erdős
Incubator for philanthropic ventures
by venture capital and transform into startups. Development for Lean (proof assistant) is supported by a FRO. E11 bio has a goal of creating a single-cell
Convergent_Research
Decidable first-order theory of the natural numbers with addition
example, the Rocq and Lean proof assistant systems feature the tactic omega for Presburger arithmetic and the Isabelle proof assistant contains a verified
Presburger_arithmetic
Jesuit university in Rio de Janeiro, Brazil
Jorge Sá Earp Leonardo de Moura, creator of Z3 Theorem Prover and Lean (proof assistant). Marcelo Adnet Marcelo Camelo Marcelo Gleiser Marielle Franco Nara
Pontifical Catholic University of Rio de Janeiro
Pontifical_Catholic_University_of_Rio_de_Janeiro
Axiomatic set theory devised by W.V.O. Quine
complex part of Holmes's proof, particularly the construction of a model for Tangled Type Theory (TTT) using the Lean proof assistant. Almost all conclusions
New_Foundations
Area of mathematics using condensed sets
verified proof. Over a 6-month period, a group led by Johan Commelin verified the central part of the proof using the proof assistant Lean. As of 14
Condensed_mathematics
Proposal for a computer-based database of all mathematical knowledge
in 2007. Similar projects include the Metamath proof database and the mathlib library written in Lean. In 2014 the Twenty years of the QED Manifesto workshop
QED_manifesto
Relationship between programs and proofs
Proof assistants such as Rocq, Lean, and Agda are built directly on the correspondence: a theorem is stated as a type, and a machine-checked proof is
Curry–Howard_correspondence
Analysis of computer programs without executing them
CHC SAT SMT Lightweight Alloy TLA+ Proof assistants ACL2 Agda F* HOL Light HOL4 Idris Isabelle Isabelle/HOL Lean LEGO Mizar NuPRL PVS Rocq Twelf Category
Static_program_analysis
Type whose definition depends on a value
carrying out the construction. The proof checking feature makes dependently typed languages closely related to proof assistants. The code-generation aspect provides
Dependent_type
Mathematical theory of data types
Matita, and Lean; UTT (Luo's Unified Theory of dependent Types) is used by Agda which is both a programming language and proof assistant Many type theories
Type_theory
Computer program for the Boolean satisfiability problem
used to assist in proving mathematical theorems through computer-assisted proof. In Ramsey theory, several previously unknown Van der Waerden numbers were
SAT_solver
Rules to verify computer program correctness
deficiency in the axioms and rules quoted above is that they give no basis for a proof that a program successfully terminates. Failure to terminate may be due
Hoare_logic
Concept in computer science
interactive theorem provers such as Rocq (previously known as Coq) and HOL (proof assistant). In comparison to the program analysis work, these tools require more
Separation_logic
Of a function, an additional effect besides returning a value
CHC SAT SMT Lightweight Alloy TLA+ Proof assistants ACL2 Agda F* HOL Light HOL4 Idris Isabelle Isabelle/HOL Lean LEGO Mizar NuPRL PVS Rocq Twelf Category
Side effect (computer science)
Side_effect_(computer_science)
Type theory created by Thierry Coquand
available in Rocq. Variants of the CoC are used in other proof assistants, such as Matita and Lean. The calculus of constructions can be considered an extension
Calculus_of_constructions
Chatbot developed by Google
as Bard) is a generative artificial intelligence chatbot and virtual assistant developed by Google. It is powered by the family of large language models
Google_Gemini
Computer science field
the violation is feasible, it is reported to the user. If it is not, the proof of infeasibility is used to refine the abstraction and checking begins again
Model_checking
Validates computer program operations
CHC SAT SMT Lightweight Alloy TLA+ Proof assistants ACL2 Agda F* HOL Light HOL4 Idris Isabelle Isabelle/HOL Lean LEGO Mizar NuPRL PVS Rocq Twelf Category
Typestate_analysis
CHC SAT SMT Lightweight Alloy TLA+ Proof assistants ACL2 Agda F* HOL Light HOL4 Idris Isabelle Isabelle/HOL Lean LEGO Mizar NuPRL PVS Rocq Twelf Category
Hyperproperty
Australian animated web series
confrontational masterwork." Bibbiani noted that the final act successfully leaned into the series' core themes of existential dread and psychological trauma
The_Amazing_Digital_Circus
Approach to static program analysis
CHC SAT SMT Lightweight Alloy TLA+ Proof assistants ACL2 Agda F* HOL Light HOL4 Idris Isabelle Isabelle/HOL Lean LEGO Mizar NuPRL PVS Rocq Twelf Category
Abstract_interpretation
French computer scientist
constructions in 1984 with Thierry Coquand. He led the Coq (renamed Rocq) proof assistant project in the 1990s with Christine Paulin-Mohring, who developed Coq
Gérard_Huet
Process of analyzing computer program behavior
CHC SAT SMT Lightweight Alloy TLA+ Proof assistants ACL2 Agda F* HOL Light HOL4 Idris Isabelle Isabelle/HOL Lean LEGO Mizar NuPRL PVS Rocq Twelf Category
Program_analysis
Concepts in theoretical computer science
the decomposition can be helpful, because the formal definitions enable a proof that different methods must be used for verifying safety properties versus
Safety and liveness properties
Safety_and_liveness_properties
Set of software engineering methods
CHC SAT SMT Lightweight Alloy TLA+ Proof assistants ACL2 Agda F* HOL Light HOL4 Idris Isabelle Isabelle/HOL Lean LEGO Mizar NuPRL PVS Rocq Twelf Category
Program_slicing
Graph data structure
known as non-chronological backtracking), e-graphs are extended to produce proof certificates. E-graphs are also used in the Simplify theorem prover of ESC/Java
E-graph
CHC SAT SMT Lightweight Alloy TLA+ Proof assistants ACL2 Agda F* HOL Light HOL4 Idris Isabelle Isabelle/HOL Lean LEGO Mizar NuPRL PVS Rocq Twelf Category
Polyvariance
CHC SAT SMT Lightweight Alloy TLA+ Proof assistants ACL2 Agda F* HOL Light HOL4 Idris Isabelle Isabelle/HOL Lean LEGO Mizar NuPRL PVS Rocq Twelf Category
Dependence_analysis
British mathematician
formalization project and blog involving the Lean theorem prover and has since promoted the use of computer proof assistants in future mathematics research. He
Kevin_Buzzard
She is the personal assistant of Aeolus as seen in The Lost Hero. At the end, she works as Piper's dad's assistant Tristan McLean. In The Burning Maze
List of characters in mythology novels by Rick Riordan
List_of_characters_in_mythology_novels_by_Rick_Riordan
Mathematics independent of applications
process). Then, putative proofs generated by artificial intelligence can be verified via proof assistant tools such as Lean, and large supporting databases
Pure_mathematics
1996 film directed by Gregory Hoblit
personal vendettas. She also dismisses Dr. Arrington's testimony as it leans too close to an insanity plea. Vail calls Aaron to the stand, intentionally
Primal_Fear_(film)
Fundamental problem in computer science
CHC SAT SMT Lightweight Alloy TLA+ Proof assistants ACL2 Agda F* HOL Light HOL4 Idris Isabelle Isabelle/HOL Lean LEGO Mizar NuPRL PVS Rocq Twelf Category
Path_explosion
American rapper (1992–2018)
later became addicted to lean. Miller told Complex in January 2013: "I love lean; it's great. I was not happy and I was on lean very heavy. I was so fucked
Mac_Miller
Intelligence of machines
problems, converters can transform such prompts into a formal language such as Lean to define mathematical tasks. The experimental model Gemini Deep Think accepts
Artificial_intelligence
American actress, model, former television personality and video vixen (born 1987)
Off On Rich Dollaz, Says He's Living A Double-Lifestyle: 'I Have So Much Proof'". Archived from the original on April 15, 2016. Retrieved September 12
Erica_Mena
2021. Retrieved January 24, 2021. "Gareth Evans reveals pitch for his 'lean, visceral' Deathstroke movie that never happened (exclusive)". sports.yahoo
Characters of the DC Extended Universe
Characters_of_the_DC_Extended_Universe
Class of mathematical expression
which can be handled in another part of the program. Many proof assistants, such as Rocq and Lean, define 1/0 = 0. This is to make all functions total. Such
Division_by_zero
Colombian singer-songwriter (born 1977)
IMDb. Retrieved 28 September 2014. McLean, Craig (20 November 2010). "The hits don't lie: Why Shakira is living proof that pop and politics can mix". The
Shakira
2022 American drama television series
plagiarizing her seminar story. With Stephen's encouragement, she leans on her mother, CJ, for proof, leading to an uneasy reconciliation. At a party, Drew drunkenly
Tell_Me_Lies_(TV_series)
American serial killer suspects
Archived from the original on October 6, 2021. Retrieved October 6, 2021. MacLean, Alex (October 8, 2021). "Authorities cast doubt on claims that Groveland
Zodiac_Killer_suspects
AI research laboratory
statements are defined in the formal language Lean. At the 2024 International Mathematical Olympiad, AlphaProof together with an adapted version of AlphaGeometry
Google_DeepMind
French actor (1935–2024)
Lyttelton, Oliver (18 May 2012). "5 Things You Might Not Know About David Lean's 'Lawrence Of Arabia'". IndieWire. Archived from the original on 13 September
Alain_Delon
Functional programming language inspired by ML and aimed at program verification
combination of satisfiability modulo theories (SMT) solving and manual proofs. For execution, programs written in F* can be translated to OCaml, F#, C
F*_(programming_language)
Chronology of reforms regarding women's rights
Archived from the original on 6 April 2022. Retrieved 31 October 2022. McLean, Sheila (2006). First do no harm: law, ethics and healthcare. Ashgate Publishing
Timeline of women's legal rights (other than voting)
Timeline_of_women's_legal_rights_(other_than_voting)
Fictional characters
already decided to file for divorce. She sees Gibbs as a father figure and leans on him. After her divorce, she prefers to stay single for a while. It is
List_of_NCIS_characters
1989 album by Cher
career, she would go on to have five more top ten albums – Believe, Living Proof, The Very Best of Cher, Closer to the Truth and Dancing Queen. The album
Heart_of_Stone_(Cher_album)
Barbie has a secret admirer, but Barbie does not admit it. Barbie begins to lean on a magic diary given to her by a kind and fun-to-be-with salesgirl named
List_of_Barbie_films
Salman Rushdie in 1989. Larry is accused of sexual harassment by his assistant Alice and his attempts to control the situation only serve to make things
List of Curb Your Enthusiasm episodes
List_of_Curb_Your_Enthusiasm_episodes
him for the Archangels after God left, although the real purpose was to lean his secrets. Suspicious of why Metatron has come out of hiding, Naomi tortures
List of Supernatural and The Winchesters characters
List_of_Supernatural_and_The_Winchesters_characters
List of characters in the Dexter franchise
leads to María suspecting Miguel of Ellen Wolf's death. Tammy Okama (Jane McLean) is the party organizer, hired by Dexter's co-workers to organize his bachelor
List_of_Dexter_characters
1995 studio album by Dusty Springfield
– assistant engineer Bill O'Donovan – assistant engineer Wayne Morgan – assistant engineer Shawn McLean – assistant engineer John Kliner – assistant engineer
A_Very_Fine_Love
Gambler, gunfighter, and dentist in the American West (1851–1887)
made a vagabond; a philosopher whom life had made a caustic wit; a long, lean blonde fellow nearly dead with consumption and at the same time the most
Doc_Holliday
with 2% "Someone else" with 7%; "Wouldn't vote" with 2% With voters who lean towards a given candidate "Refused" with 3% "Someone else" with 1% Refused
2025 New York City mayoral election
2025_New_York_City_mayoral_election
American politician (born 1954)
Hyannis Port, Massachusetts, and at Hickory Hill, the family estate in McLean, Virginia. In June 1972, he graduated from the Palfrey Street School, a day
Robert_F._Kennedy_Jr.
American neo-Western crime drama television series
drama, in the worst way." Verne Gay of Newsday said of the third season, "Lean, laconic, precise and as carefully word-crafted as any series on TV, there's
Justified_(TV_series)
Software used in mathematical applications
CVC Yices Z3 Theorem Prover ACL2 Coq (now Rocq) HOL Light HOL4 Isabelle Lean Metamath Mizar NuPRL Twelf Botan Bouncy Castle BSAFE cryptlib Crypto++ GnuTLS
Mathematical_software
olive skin, and gray eyes. Through hunting, they have become best friends. Lean-muscled and handsome, Gale has caught the attention of several girls in District
List of The Hunger Games characters
List_of_The_Hunger_Games_characters
Swedish YouTuber (born 1989)
game because of its popularity rather than for their enjoyment. Kjellberg's lean into Minecraft was largely successful for his channel, which received a considerable
PewDiePie
Anti-government protests
International. 20 January 2026. Mojtahedi, Negar (21 January 2026). "Iran leans into state-run intranet amid lingering blackout". Iran International. "NetBlocks
2025–2026_Iranian_protests
her health, was disinclined to do the stunt herself, but director David Lean felt it would be obvious if he replaced her with a stunt double. He filled
List of film and television accidents
List_of_film_and_television_accidents
1994 studio album by the Offspring
vocals Greg K. – bass Ron Welty – drums, backing vocals Jason "Blackball" McLean – additional vocals on "Come Out and Play (Keep 'Em Separated)" (uncredited
Smash_(The_Offspring_album)
PMID 16477792. h. Hankey, C. R.; Eley, S.; Leslie, W. S.; Hunter, C. M.; Lean, M. E. J. (2004). "Eating habits, beliefs, attitudes and knowledge among
List of common misconceptions about science, technology, and mathematics
List_of_common_misconceptions_about_science,_technology,_and_mathematics
who is being unfaithful. Desperate to protect Vic’s assets but lacking proof, George and Ernie concoct a scheme to enlist the help of the reality CheatersTo
List_of_George_Lopez_episodes
American ballet dancer and author (born 1982)
Charisse Jones (2017). Ballerina Body: Dancing and Eating Your Way to a Leaner, Stronger, and More Graceful You. New York: Grand Central Life & Style.
Misty_Copeland
particularly his signature move the moonwalk, patented the anti-gravity lean and attracted a cult of impersonators throughout the world. He is credited
Cultural impact of Michael Jackson
Cultural_impact_of_Michael_Jackson
Childhood in Roman Italy. OUP Oxford. ISBN 978-0-19-151423-4. Rogers, Guy MacLean (2022). For the Freedom of Zion: The Great Revolt of Jews against Romans
Slavery_in_ancient_Rome
Abduction and murder of Charles Lindbergh Jr. (1932)
discussion with Evalyn Walsh McLean and told her that he would be of great importance in retrieving the Lindbergh baby. Means told McLean that he could find these
Lindbergh_kidnapping
ISBN 1-4053-0461-8. "Frankenstein - Transformers Wiki". tfwiki.net. "Frankenstein's assistant - Transformers Wiki". tfwiki.net. "Frankenstein's monster - Transformers
List of The Transformers characters
List_of_The_Transformers_characters
Collection of German fairy tales
distractions away. Jacob attended the university first. He reportedly showed proof of his hard work ethic and quick intelligence.[citation needed] Wilhelm
Grimms'_Fairy_Tales
given the dossier of officer Julien Lowe. As time passed, Hiatt began to lean on Vic's experience with Farmington and the gangs in the area. Hiatt even
List_of_The_Shield_characters
Anti-government conspiracy movement
boots ex-Subway spokesman Jared Fogle's child sex case appeal". USA Today. McLean, Virginia. Archived from the original on November 14, 2017. Retrieved November
Sovereign_citizen_movement
tied to formal mathematics since Principia Mathematica to today's proof assistants. In a letter to Gottlob Frege (1902), Bertrand Russell announced his
History_of_type_theory
character in the film (played by Roger Bowen) and television series (played by McLean Stevenson). He is a surgeon and the original commanding officer of the 4077th
List_of_M*A*S*H_characters
Grains And Simple, and enters into a cook-off with Ron Swanson to prove his lean meat turkey burgers will be better than Ron's red meat cheeseburgers. In
List of Parks and Recreation characters
List_of_Parks_and_Recreation_characters
American basketball player (born 1988)
would have the opportunity to. Although the Warriors already had another lean, 6-foot-3, offensive-minded guard in Monta Ellis, Nelson had a penchant for
Stephen_Curry
women, even with testosterone suppression, "the data show that strength, lean body mass, muscle size and bone density are only trivially affected. The
LGBTQ rights in the United States
LGBTQ_rights_in_the_United_States
electrician Bob Kaplan. Assistant prop man John Ferry portrays director Phil Shields. Assistant director Gordon Webb is the assistant director. Second grip
List_of_Perry_Mason_episodes
Season of television series
Finals: 'New Girl,' 'Glee,' 'NCIS,' DWTS Results Adjusted Up; 'Body of Proof' Adjusted Down". TV by the Numbers. Archived from the original on September
Parenthood_season_3
American lawyer (born 1960)
his wife reside in McLean, Virginia. Their oldest daughter, Maurene, graduated from Harvard Law School in 2013 and was an assistant U.S. attorney in the
James_Comey
American rapper and dancer (born 1962)
production company released the hit rap song "Gangsta Lean" by DRS (from their debut album Gangsta Lean). By this time, Hammer also parted ways with his only
MC_Hammer
with the Russians. The poll found that 6% of Republicans and Republican-leaners thought Trump did something illegal in his dealings with the Russians.
Russian interference in the 2016 United States elections
Russian_interference_in_the_2016_United_States_elections
Video games award show
Eagle Bearer" from Assassin's Creed Odyssey "God of War" from God of War "Proof of a Hero" from Monster Hunter World "Outlaws From the West" from Red Dead
The_Game_Awards_2018
from the original on January 25, 2025. Retrieved January 25, 2025. "Trump leans into his pledge to eliminate taxes on tips at a Las Vegas rally". AP News
Timeline of the second Trump presidency (2025 Q1)
Timeline_of_the_second_Trump_presidency_(2025_Q1)
British highwayman
"Captain" James Maclaine (occasionally "Maclean", "MacLean", or "Maclane") (1724 – 3 October 1750) was an Irish man of a respectable presbyterian family
James_MacLaine
Soviet politician and revolutionary (1879–1940)
spiritual calm let him step aside. In time of reaction it is more convenient to lean on the bureaucracy than on the truth. But all those for whom the word 'Socialism'
Leon_Trotsky
American film soundtrack label
available on the CD) VSDD-5609 Disobedience – Matthew Herbert VSDD-5708 Lean on Pete – James Edward Barker VSDD-6720 No Place on Earth – John Piscitello
Varèse Sarabande albums discography
Varèse_Sarabande_albums_discography
Racist foundations of Nazism
chins, their narrow and straight or aquiline noses with a high base, their lean builds, their dolichocephalic skulls, their straight and light hair, their
Nazi_racial_theories
Demographic of Americans
Vicente Gonzalez. Hispanic voters in the United States have traditionally leaned toward the Democratic Party, but recent elections reveal a significant shift
Hispanic_and_Latino_Americans
American attorney and diplomat (born 1948)
United States assistant attorney general for President Ronald Reagan from 1985 to 1989. He served in the State Department as the assistant secretary of
John_Bolton
American basketball player and analyst (born 1972)
Olympics, Los Angeles Times, June 13, 2000. Chris Sheridan Weight of the world leans on U.S. team, The Seattle Times, September 2, 2002. Marc Stein Team USA
Shaquille_O'Neal
American actress and businesswoman (born 1972)
Shallow Hal (2001). She made her West End debut in the David Auburn's play Proof (2003), earning a Laurence Olivier Award for Best Actress nomination, and
Gwyneth_Paltrow
LEAN PROOF-ASSISTANT
LEAN PROOF-ASSISTANT
Female
English
 Old English name LEA means "meadow." Compare with another form of Lea.
Male
French
A derivative of Anglo-Norman French Jehan, JEAN means "God is gracious." Compare with feminine Jean.
Female
English
 Pet form of English Eleanor, LENA means "foreign; the other."
Surname or Lastname
English
English : probably a habitational name from ‘The Leen’ (earlier Leon, ‘at the streams’) in Hereford or the Leen river in Nottinghamshire. Both are derived from a Celtic root verb lei- ‘flow’ (for example as in Welsh lliant ‘stream’).English : variant spelling of Lean.
Male
English
Anglicized form of Irish Gaelic Seán, SEAN means "God is gracious."
Female
Hebrew
(לֵ×ָה) Hebrew name LEAH means "weary." In the bible, this is the name of Jacob's first wife. Compare with other forms of Leah.
Boy/Male
Muslim
Proof
Surname or Lastname
English and Scottish
English and Scottish : variant of Lynn.Jewish (Ashkenazic) : variant spelling of Len.
Male
English
Anglicized form of Irish Gaelic Cian, KEAN means "ancient, distant."
Female
English
Scottish form of French Jeanne, JEAN means "God is gracious." Compare with masculine Jean.
Female
English
 Variant spelling of Old English Lea, LEAH means "meadow." Compare with other forms of Leah.
Surname or Lastname
English (chiefly Devon)
English (chiefly Devon) : nickname for a thin or lean person, from Middle English lene ‘lean’ (Old English hlǣne).Irish : reduced Anglicized form of Gaelic Ó Liatháin (see Lehane).Reduced form of Scottish McLean.
Male
English
(ΛÎων) Greek name derived from the word leon, LEON means "lion." In use by the English and Germans.Â
Female
Hebrew
 Variant spelling of Hebrew Leah, LEA means "weary." Compare with another form of Lea.
Male
English
 Short form of English Leonard, LEN means "lion-strong." Compare with another form of Len.
Boy/Male
Muslim
Proof
Male
Irish
 Old Irish Gaelic byname LUAN means "warrior." Compare with another form of Luan.
Male
English
 English occupational surname transferred to forename use, from the Latin word decanus, DEAN means "dean; ecclesiastical supervisor."
Female
English
Variant spelling of English Eileen, ILEAN means "beauty, radiance."Â
Male
Native American
 Native American Hopi name LEN means "flute." Compare with another form of Len.
LEAN PROOF-ASSISTANT
LEAN PROOF-ASSISTANT
Girl/Female
Tamil
Soft spoken
Female
Egyptian
, the wife of Shafra.
Girl/Female
Muslim/Islamic
Wish desire
Surname or Lastname
English (Northamptonshire)
English (Northamptonshire) : perhaps a variant of Baddeley, a habitational name from Baddeley Green in Staffordshire, so named with the Old English personal name Badda + Old English lēah ‘woodland clearing’.
Female
English
English variant form of Latin Selena, SHELENA means "moon."
Girl/Female
Hindu, Indian
God
Boy/Male
Indian, Sanskrit
One who Keeps Cow
Boy/Male
Greek
Farmer.
Biblical
same as Mattan,gift
Boy/Male
Bengali, Gujarati, Hindu, Indian, Kannada, Malayalam, Marathi
God of the Vedas
LEAN PROOF-ASSISTANT
LEAN PROOF-ASSISTANT
LEAN PROOF-ASSISTANT
LEAN PROOF-ASSISTANT
LEAN PROOF-ASSISTANT
v. t.
Armor of excellent or tried quality, and deemed impenetrable; properly, armor of proof.
v. i.
Wanting flesh; destitute of or deficient in fat; not plump; meager; thin; lank; as, a lean body; a lean cattle.
v. i.
To cause to lean; to incline; to support or rest.
v. t.
To cause to leap; as, to leap a horse across a ditch.
a.
Lean.
a.
Proof against proofs; obstinate in the wrong.
v. t.
To arm with proof armor; to arm securely; as, to proof-arm herself.
v. t.
To learn. See Lere, to learn.
a.
Highly rectified; very strongly alcoholic; as, high-proof spirits.
n.
A trial impression, as from type, taken for correction or examination; -- called also proof sheet.
v.
A crack, crevice, fissure, or hole which admits water or other fluid, or lets it escape; as, a leak in a roof; a leak in a boat; a leak in a gas pipe.
v. t.
To cover with a roof.
a.
Used in proving or testing; as, a proof load, or proof charge.
v. i.
Wanting fullness, richness, sufficiency, or productiveness; deficient in quality or contents; slender; scant; barren; bare; mean; -- used literally and figuratively; as, the lean harvest; a lean purse; a lean discourse; lean wages.
n.
An article made of lead or an alloy of lead
a.
Firm or successful in resisting; as, proof against harm; waterproof; bombproof.
v. i.
Of a character which prevents the compositor from earning the usual wages; -- opposed to fat; as, lean copy, matter, or type.
superl.
Free from awkwardness; not bungling; adroit; dexterous; as, aclean trick; a clean leap over a fence.
n.
Sheets or plates of lead used as a covering for roofs; hence, pl., a roof covered with lead sheets or terne plates.