ToyProofs
Descripción
ToyProofs 0.1 estaba disponible para descargar desde el sitio web del desarrollador cuando lo revisamos. No podemos garantizar que la descarga gratituita esté disponible. Se recomienda verificar los archivos descargados con un antivirus gratuito, ya que no podemos garantizar que sean seguros. El auténtico artífice de este programa sin coste es The Lurch Project. ToyProofs es un programa del tipo Educación y Ciencia.
Del desarrollador:
The first application we released, this is a simple playground environment for introducing students to the notion of formality and rigor in mathematical proofs. It comes with HTML documentation that explains the progression of lessons through three increasingly mathematical games.
Quizás esté interesado en probar otros programas, como Simple Shutdown Timer o J2SE Runtime Environment Update, que podrían ser similares a ToyProofs.
Complemento de soporte
Puede obtener complementos que descargan archivos/videos de sitios web arbitrarios.
Comentarios
Subscribe to commentsPor favor, añade un comentario explicando las razones de tu voto.