« first day (2750 days earlier)      last day (1601 days later) » 

Martin Sleziak
Martin Sleziak
7:42 AM
new-tag Two new tags coq and tla+ created by Netchaiev. There already exist tags theorem-provers and computer-assisted-proofs.
1
Q: What formalism to write a formal proof nowadays?

NetchaievI am sensing the need to start writing proofs in a more formal way, even though it seems not to be nowadays a real priority amongst the mathematicians (but I am sure, it will be soon really important). Since I am starting to explore this idea, I have seen two main possibilities : using COQ form...

proof-writing solution-verification formal-proofs coq tla+
There is one deleted question with the coq tag: Finding libraries of formalized mathematics.
Queries which show also editors who added/removed the tag: data.stackexchange.com/math/query/1105163/… data.stackexchange.com/math/query/1038474/…
 
 
13 hours later…
Feeds
Feeds
8:17 PM
0
A: Tag management 2019

heepoProposal: rename teichmueller-theory to teichmuller-theory on main site. Reasons: I believe it is the correct spelling, barring the ü. (The only reason I can see why the tag might be spelled as it is is because the ü may change to a ue when it loses the accent, but I do not think this is th...

 

« first day (2750 days earlier)      last day (1601 days later) »