JSFiddle - React, Tailwind, and code Playground

HTML

<input type="checkbox" id="olt3" name="olt3"> 

<input type="text" id="pro" name="pro" value="">Please supply your ID

JavaScript

$(document).ready(function(){
    $("#pro").bind("keyup", function(){
        var checked = ( $(this).val().length >= 0 );
        $("#olt3").attr("checked", checked);
    });
});