SEcki has quit [Read error: Connection reset by peer]
SEcki_ is now known as SEcki
bzzbzz has joined #ocaml
Amorphous has quit [Ping timeout: 246 seconds]
maskd has quit [Quit: leaving]
sepp2k has quit [Quit: Leaving.]
munga has quit [Ping timeout: 276 seconds]
slash_ has quit [Quit: Lost terminal]
_unK has joined #ocaml
Amorphous has joined #ocaml
Guest1204 has joined #ocaml
Drk-Sd has joined #ocaml
Drk-Sd is now known as drk-sd
krankkatze has quit [Remote host closed the connection]
clklein has joined #ocaml
clklein has left #ocaml []
enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]
eldragon has quit [Read error: Connection reset by peer]
Guest1204 has quit [Remote host closed the connection]
eldragon has joined #ocaml
eldragon_ has joined #ocaml
Shoggoth has joined #ocaml
eldragon_ has quit [Read error: Connection reset by peer]
boscop_ has joined #ocaml
boscop has quit [Ping timeout: 258 seconds]
_unK has quit [Remote host closed the connection]
boscop_ has left #ocaml []
boscop has joined #ocaml
SEcki has quit [Read error: Connection reset by peer]
dark has joined #ocaml
enthymeme has joined #ocaml
Mr_Awesome has joined #ocaml
jeddhaberstro has quit [Read error: Connection reset by peer]
jeddhaberstro has joined #ocaml
olegfink has quit [Ping timeout: 258 seconds]
olegfink has joined #ocaml
olegfink has quit [Excess Flood]
olegfink has joined #ocaml
olegfink has quit [Excess Flood]
olegfink has joined #ocaml
olegfink has quit [Excess Flood]
olegfink has joined #ocaml
olegfink has quit [Excess Flood]
bzzbzz has quit [Quit: leaving]
olegfink has joined #ocaml
olegfink has quit [Excess Flood]
olegfink has joined #ocaml
olegfink has quit [Excess Flood]
olegfink has joined #ocaml
olegfink has quit [Excess Flood]
olegfink has joined #ocaml
olegfink has quit [Excess Flood]
olegfink has joined #ocaml
olegfink has quit [Excess Flood]
olegfink has joined #ocaml
olegfink has quit [Excess Flood]
olegfink has joined #ocaml
olegfink has quit [Excess Flood]
olegfink has joined #ocaml
olegfink has quit [Excess Flood]
olegfink has joined #ocaml
olegfink has quit [Excess Flood]
olegfink has joined #ocaml
olegfink has quit [Excess Flood]
olegfink has joined #ocaml
olegfink has quit [Excess Flood]
<silas>
Camarade_Tux: flux: Very good recommendation the links you gave me this morning... Thanks!
olegfink has joined #ocaml
olegfink has quit [Excess Flood]
olegfink has joined #ocaml
olegfink has quit [Excess Flood]
olegfink has joined #ocaml
olegfink has quit [Excess Flood]
olegfink has joined #ocaml
olegfink has quit [Excess Flood]
olegfink has joined #ocaml
olegfink has quit [Excess Flood]
olegfink has joined #ocaml
olegfink has quit [Excess Flood]
olegfink has joined #ocaml
olegfink has quit [Excess Flood]
olegfink has joined #ocaml
olegfink has quit [Excess Flood]
olegfink has joined #ocaml
drk-sd has quit [Read error: Connection reset by peer]
thrasibule has joined #ocaml
thrasibule has quit [Ping timeout: 240 seconds]
derdon has quit [Quit: derdon]
joewilliams_away is now known as joewilliams
jeddhaberstro has quit [Quit: jeddhaberstro]
<dark>
can someone here explain something about Coq?
<dark>
it's written in ocaml, right? but ocaml isn't formally specific. so it can not be verified (at fullest extent. i.. think), so coq can't be verified
<dark>
so.. how can complex proofs made with coq can be relied upon?
<dark>
isn't a foundations-strong language, like sml, needed for doing hard mathematical proofs? (i'm asking from an ignorant perspective, i'm very interested in coq and verification but i can't see how it can work)
joewilliams is now known as joewilliams_away
Mr_Awesome has quit [Ping timeout: 245 seconds]
oc13 has joined #ocaml
Mr_Awesome has joined #ocaml
ulfdoz has joined #ocaml
enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]
MrEvil has joined #ocaml
ygrek has joined #ocaml
yakischloba has quit [Quit: Leaving.]
MrEvil has quit [Read error: Connection reset by peer]
ygrek has quit [Remote host closed the connection]
ygrek has joined #ocaml
ttamttam has joined #ocaml
ttamttam has quit [Quit: Leaving.]
Submarine has joined #ocaml
oc13 has quit [Read error: Operation timed out]
Associat0r has quit [Quit: Associat0r]
ttamttam has joined #ocaml
maattd has joined #ocaml
ttamttam has quit [Ping timeout: 258 seconds]
Submarine has quit [Ping timeout: 258 seconds]
ttamttam has joined #ocaml
pimmhogeling has joined #ocaml
inkbottle has joined #ocaml
inkbottle has left #ocaml []
mrvn has quit [Read error: Operation timed out]
mrvn has joined #ocaml
sepp2k has joined #ocaml
<Camarade_Tux>
silas: nice =)
Submarine has joined #ocaml
inkbottle has joined #ocaml
inkbottle has left #ocaml []
pimmhogeling has quit [Remote host closed the connection]
Yoric has joined #ocaml
ikaros has joined #ocaml
sepp2k1 has joined #ocaml
sepp2k has quit [Ping timeout: 276 seconds]
fraggle_ has quit [Ping timeout: 248 seconds]
ikaros has quit [Ping timeout: 258 seconds]
ikaros has joined #ocaml
pimmhogeling has joined #ocaml
ofaurax_ has joined #ocaml
willb1 has quit [Ping timeout: 258 seconds]
willb1 has joined #ocaml
drk-sd has joined #ocaml
Yoric has quit [Quit: Yoric]
ttamttam has quit [Quit: Leaving.]
ttamttam has joined #ocaml
struktured has joined #ocaml
SEcki has joined #ocaml
_unK has joined #ocaml
jeddhaberstro has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]
ikaros has joined #ocaml
maskd has joined #ocaml
rofh has joined #ocaml
rofh has left #ocaml []
ttamttam has quit [Quit: Leaving.]
krankkatze has joined #ocaml
krankkatze has quit [Read error: Operation timed out]
jeddhaberstro has quit [Quit: jeddhaberstro]
krankkatze has joined #ocaml
maskd has quit [Quit: leaving]
thrasibule has joined #ocaml
jeddhaberstro has joined #ocaml
krankkatze has quit [Ping timeout: 245 seconds]
Demitar has quit [Quit: Bubbles!]
Yoric has joined #ocaml
brendan has quit [Ping timeout: 258 seconds]
ikaros has quit [Quit: Leave the magic to Houdini]
Demitar has joined #ocaml
eldragon has quit [Read error: Connection reset by peer]
jeddhaberstro has quit [Quit: jeddhaberstro]
bzzbzz has joined #ocaml
yakischloba has joined #ocaml
ulfdoz_ has joined #ocaml
ulfdoz has quit [Ping timeout: 245 seconds]
eldragon has joined #ocaml
ulfdoz_ has quit [Client Quit]
ulfdoz has joined #ocaml
rbancrof1 has quit [Ping timeout: 260 seconds]
eba490 has joined #ocaml
Alpounet has quit [Quit: ``Do what you think you can't do.'']
eba490 has left #ocaml []
derdon has joined #ocaml
Associat0r has joined #ocaml
jeddhaberstro has joined #ocaml
Shoggoth has quit [Quit: Ex-Chat]
mrvn has quit [Ping timeout: 252 seconds]
derdon has quit [Quit: derdon]
mrvn has joined #ocaml
ttamttam has joined #ocaml
bzzbzz has quit [Quit: leaving]
bzzbzz has joined #ocaml
pimmhogeling has quit [Ping timeout: 245 seconds]
ttamttam has quit [Quit: Leaving.]
thieusoai has quit [Quit: Leaving]
Yoric has quit [Quit: Yoric]
maattd has quit [Ping timeout: 260 seconds]
maattd has joined #ocaml
pimmhogeling has joined #ocaml
mrvn has quit [Ping timeout: 248 seconds]
mrvn has joined #ocaml
ttamttam has joined #ocaml
Yoric has joined #ocaml
krankkatze has joined #ocaml
enthymeme has joined #ocaml
oc13 has joined #ocaml
krankkatze has quit [Remote host closed the connection]
pimmhogeling has quit [Ping timeout: 245 seconds]
ttamttam has quit [Quit: Leaving.]
ttamttam has joined #ocaml
ttamttam has quit [Client Quit]
ttamttam has joined #ocaml
humasect has joined #ocaml
fraggle_ has joined #ocaml
itewsh has joined #ocaml
mjonsson has joined #ocaml
Demitar has quit [Quit: Bubbles!]
ttamttam has quit [Quit: Leaving.]
Demitar has joined #ocaml
brendan has joined #ocaml
mrvn has quit [Ping timeout: 268 seconds]
mrvn has joined #ocaml
schmx has quit [Ping timeout: 276 seconds]
schmx has joined #ocaml
schmx has quit [Changing host]
schmx has joined #ocaml
maskd has joined #ocaml
ofaurax_ has quit [Quit: Leaving]
brendan has quit [Quit: brendan]
oc13 has quit [Ping timeout: 276 seconds]
Submarine has quit [Ping timeout: 276 seconds]
M| has quit [Ping timeout: 248 seconds]
M| has joined #ocaml
Yoric has quit [Quit: Yoric]
brendan has joined #ocaml
maskd has quit [Quit: leaving]
Associat0r has quit [Quit: Associat0r]
thieusoai has joined #ocaml
jeddhaberstro has quit [Read error: Connection reset by peer]
Associat0r has joined #ocaml
itewsh has quit [Quit: There are only 10 kinds of people: those who understand binary and those who don't]
linus5 has joined #ocaml
linus5 has quit [Remote host closed the connection]