WikiLean Articles · Brain · Recent changes · Proposals · Flags · Stats · About

Diff — History of the function concept

Revision #2411 → #3105 · back to history

addedWave equation for a vibrating stringf33eaf7116b9
modifiedTuring machinesf2e9f840caa9
FieldFrom #2411To #3105
mathlib.moduleMathlib.Computability.TuringMachine.PostTuringMachineMathlib.Computability.TuringMachine
provenanceaiai-moderated
addedCombinatory logic1e218fe42b5c