UmbralRaptop changed the topic of #principia to: READ THE FAQ: http://goo.gl/gMZF9H; The current version is Εὔδοξος. We currently target 1.3.1, and 1.4.x/1.5.1. <scott_manley> anyone that doubts the wisdom of retrograde bop needs to get the hell out | https://xkcd.com/323/ | <egg> calculating the influence of lamont on Pluto is a bit silly…
_whitelogger has joined #principia
Jesin has quit [Ping timeout: 198 seconds]
Jesin has joined #principia
Jesin has quit [Ping timeout: 180 seconds]
Jesin has joined #principia
Jesin has quit [Ping timeout: 198 seconds]
_whitelogger has joined #principia
_whitelogger has joined #principia
Jesin has joined #principia
Jesin has quit [Ping timeout: 190 seconds]
Mike` has quit [Ping timeout: 189 seconds]
Mike` has joined #principia
NolanSyKinsley has quit [Remote host closed the connection]
_whitelogger has joined #principia
_whitelogger has joined #principia
Jesin has joined #principia
_whitelogger has joined #principia
_whitelogger has joined #principia
_whitelogger has joined #principia
_whitelogger has joined #principia
Dazzyp has joined #principia
Daz has quit [Ping timeout: 183 seconds]
Dazzyp is now known as Daz
_whitelogger has joined #principia
_whitelogger has joined #principia
_whitelogger has joined #principia
NolanSyKinsley has joined #principia
NolanSyKinsley has quit [Remote host closed the connection]
NolanSyKinsley has joined #principia
<_whitenotifier-1656>
[Principia] pleroy synchronize pull request #2065: Proof of the damping condition - https://git.io/fh409
Daz has quit [Remote host closed the connection]
Daz has joined #principia
<_whitenotifier-1656>
[Principia] pleroy synchronize pull request #2065: Proof of the damping condition - https://git.io/fh409
ferram4 has joined #principia
ferram4__ has quit [Ping timeout: 202 seconds]
_whitelogger has joined #principia
<_whitenotifier-1656>
[Principia] eggrobin labeled pull request #2065: Proof of the damping condition - https://git.io/fh409
_whitelogger has joined #principia
UmbralRaptor has quit [Quit: Bye]
UmbralRaptop has joined #principia
NolanSyKinsley has quit [Ping timeout: 183 seconds]
NolanSyKinsley has joined #principia
Daz has quit [Ping timeout: 198 seconds]
Daz has joined #principia
<_whitenotifier-1656>
[Principia] pleroy closed pull request #2065: Proof of the damping condition - https://git.io/fh409
<_whitenotifier-1656>
[Principia] pleroy pushed 12 commits to master [+0/-0/±24] https://git.io/fh6qi
<_whitenotifier-1656>
[Principia] pleroy 8ad528e - Expanded formula for the derivative.
<_whitenotifier-1656>
[Principia] pleroy 0f19491 - Solution of the quadratic equation.
<_whitenotifier-1656>
[Principia] pleroy a777af8 - Full proof of the lemma.
<_whitenotifier-1656>
[Principia] ... and 9 more commits.
<_whitenotifier-1656>
[Principia] pleroy opened pull request #2068: Proof of the damping condition close to s0 - https://git.io/fh6me