Help


[permalink] [id link]
+
Page "Proof assistant" ¶ 19
from Wikipedia
Edit
Promote Demote Fragment Fix

Some Related Sentences

popular and front-end
The current most popular front-end to FreeRDP is Remmina.
However the DEC VAX was also a very popular front-end.
Unlike more popular debugger stacks for modern Unix platforms, ups is completely self-contained — not merely a graphical front-end to lower-level debuggers like gdb ( although some work has been done to make ups usable in that way ).

popular and for
Only, they carefully substituted old country folk dances for the Virginia Reels and square dances that were so popular among more worldly trains in the great westward migration.
The contributors to this testament were all well-known: a former Democratic candidate for President, a New Deal poet, the magazine's chief editorial writer, two newspaper columnists, head of a national broadcasting company, a popular Protestant evangelist, etc..
The double editorial on Two Aspects Of `` The U.S. Spirit '' was subtly calculated to suggest a moral sanction for gambles great as well as small, reflecting popular approval of this questionable attitude toward the highest office in the land.
Even if the self portrait we distribute for popular consumption were accurate it would be dangerous to present it as a picture of the ideal society.
Here Wright gave a slight sigh of weariness, and continued, `` It means more long years lived across the social grain of the life of our people, making shift to live in the face of popular disrespect and misunderstanding as I best can for myself and those dependent upon me ''.
A popular belief grew up after the war that the only time during the Civil War that Thomas ever put his horse to a gallop was when he went to hurry up Stanley for this assault.
The Artists contended that the Philistines, gross of soul, were all for having Son et Lumiere, since the French were footing the bill and the attraction, wherever it had been done, had proven popular.
He was especially popular with women, for, like the romantic poetry he wrote, he was personally gracious, gallant, and chivalrous.
Later, rising ninety, he was beset by publishers for the story of his life and miracles, as he put it, but, calling himself the Needy Knife-grinder, he had spent his time writing short articles and long letters and could not get even a small popular book done.
Not all recent science fiction, however, is dystopian, for the optimistic strain is still very much alive in Mission Of Gravity and Childhood's End, as we have seen, as well as in many other recent popular novels and stories like Fred Hoyle's The Black Cloud ( 1957 ) ; ;
Past polls of public opinion show popular favor for this policy.
Without exception Hino's brothers turned to either one or both of their father's occupations, but Hino showed a talent for neither and instead spent most of his time on the beach where he repaired nets and proved immensely popular as a storyteller.
The letters home, the talks later given by returning members of the Peace Corps, the influence on the lives of those who spend two or three years in hard work abroad -- all this may combine to provide a substantial popular base for responsible American policies toward the world.
it's a short, light, quick-handling, fast-firing little timber gun designed to push a heavy slug at modest velocity but with lots of killing power and ample range for our most popular big game -- whitetail.
This follows naturally since frontage on an ocean, stream, or lake provides scenic values and opportunities for the very popular recreation activities of bathing, fishing, boating, and other water sports.
his hopes that the tunes from his old music might be used for popular American commercial songs!!
For those who need or want and can afford another car, buying one and driving it on the grand tour, then shipping it home, is one popular plan for a do-it-yourself pilgrimage.
Leasing a car is not as common or as popular as renting a car in Europe, but for long periods it will be unquestionably more economical and satisfactory.
Each person votes for one of a pair of pictures to receive a popular prize.
He was criticized for his curtness and abruptness -- and he answered: `` I am not working to become popular ''.
Lacking the respected and effective institutions that consensus helps provide, minority parties, such as the P.D.I. in 1957 and the progressive Istiqlal faction in 1958, clamor for elections when out of power, but are not at all certain they wish to be controlled by popular choice when in power.
When the power of the latter was made both limited and explicit -- when norms were clarified and made more precise and the creation of new norms was placed exclusively in parliamentary hands -- two purposes were served: Government was made subservient to an institutionalized popular will, and law became a rational system for implementing that will, for serving conscious goals, for embodying the `` public policy ''.
I was curious about the impact of this political assassination on Negroes in Harlem, for Lumumba had -- has -- captured the popular imagination there.

popular and proof
Moreover to have been singled out by Aristophanes for so much comic attention is proof of popular interest in his work.
As for other popular public key cryptosystems, no mathematical proof of security has been published for ECC.
The new flag stirred popular resentment, many Afghans saw it as proof of the PDPA government's secular nature.
In the first series of lectures (" A Confutation of Atheism "), he endeavours to present Newtonian physics in a popular form, and to frame them ( especially in opposition to Hobbes ) into proof of the existence of an intelligent Creator.
In another, Memín decides not to receive Communion at his church, after a cruel boy tells him blacks are not allowed in Heaven, pointing to the lack of black angels in religious paintings as proof ( this was inspired by a popular song " Angelitos negros " that asked the same question and a popular Mexican motion picture of 1948 of the same name ).
The number gained a degree of popular attention when Martin Gardner described it in the " Mathematical Games " section of Scientific American in November 1977, writing that, " In an unpublished proof, Graham has recently established ... a bound so vast that it holds the record for the largest number ever used in a serious mathematical proof.
A proof of the great adaptability of the music can be found in the Dominican National Symphony's presentation in 2003 of a concert series entitled " Symphonic Merengue ", in which the Symphonic Orchestra consisting of woodwinds, brass, strings, and the like played popular tunes.
This popular biweekly newsletter points out the weaknesses and outright fallacies in the science that is being touted as " proof " of disastrous warming.
The most popular 1600 cc engine was the Cosworth FVA, the sixteen-valve head on a four-cylinder Cortina block that was effectively the " proof of concept " for the legendary DFV.
Evan Williams Black is 43 % alc / vol ( 86 proof ) unlike some popular whiskeys which are 40 % alc / vol ( 80 proof ).
The Portuguese transported Zumbi's head to Recife, where it was displayed in the central praça as proof that, contrary to popular legend among African slaves, Zumbi was not immortal.
Without the proof, the urban legend still persists in popular culture.
It is the most popular proof procedure for modal logics ( Girle 2000 ).
It belongs without doubt to the time of the emperor Frederick II ( no later than 1250 ), and is important as proof that there existed a popular, independent of literary, poetry.
As it proved very popular, the LP Blossom Dearie Sings Rootin ' Songs was released as a premium item that could be ordered for one dollar and a proof of purchase.
The Contrasto belongs to the time of the emperor Frederick II ( it can be dated between 1230 and 1250, but probably closer to the latter ), and is also important as a proof that there once existed a popular, independent of literary, poetry prior to Frederick's times.
Unable to produce any legal proof that Kisch was a communist, the government case collapsed and Kisch became a popular speaker disseminating Münzenberg's Comintern message.
After 1818, when his wife died, he had very slender means of his own, but he was popular with his friends and was well looked after by them ; Charles Cavendish Fulke Greville, writing of him in 1829, remarks that " old Creevey is a living proof that a man may be perfectly happy and exceedingly poor.
From 1576 the mignons were attacked by popular opinion, and some historians have credited without proof the scandalous stories of the time.
As a guest on the popular talk show Fifth Wheel, Kuryokhin provided " proof " that Lenin was a mushroom.
Gloves woven from horse hair fibers were a very popular option in cold climates because horsehair is a very good insulator and also has a natural oil and rigid structure that allows them to be woven tightly and remain water proof and warm.

0.486 seconds.